Re: [coreboot] T60 - what went wrong?