diff -upr a/arch/x86/kernel/acpi/boot.c b/arch/x86/kernel/acpi/boot.c --- a/arch/x86/kernel/acpi/boot.c 2011-11-22 11:47:46.000000000 +1300 +++ b/arch/x86/kernel/acpi/boot.c 2011-11-22 23:52:27.000000000 +1300 @@ -1466,6 +1466,19 @@ static struct dmi_system_id __initdata a DMI_MATCH(DMI_PRODUCT_NAME, "HP Compaq 6715b"), }, }, + /* + * Buggy Gigabyte ACPI on SB700 boards, will not boot or resume + * reliably without acpi_skip_timer_override even on latest BIOS. + * Affects multiple boards of this generation. + */ + { + .callback = dmi_ignore_irq0_timer_override, + .ident = "Gigabyte GA-MA78GPM-UD2H", + .matches = { + DMI_MATCH(DMI_SYS_VENDOR, "Gigabyte Technology Co., Ltd."), + DMI_MATCH(DMI_PRODUCT_NAME, "GA-MA78GPM-UD2H"), + }, + }, {} };