Re: [coreboot] T60 issues