[coreboot] New patch to review: 81713d0 X60/T60: remove obsolete dmi.h