[coreboot-gerrit] Change in ...coreboot[master]: mb/gigabyte/ga-b75m-d3h: Remove duplicated HAVE_SMI_HANDLER