[coreboot] r752 - in coreboot-v3: arch/x86 include/device