[coreboot-gerrit] New patch to review for coreboot: device: remove unused x86 include from common code