[coreboot-gerrit] Patch merged into coreboot/master: 758076c x86: use asmlinkage macro for smm_handler_t