[coreboot] Patch merged into master: 81713d0 X60/T60: remove obsolete dmi.h