Re: [coreboot] T430s prop BIOS Image