[coreboot] T60 - what went wrong?