[coreboot] T430s prop BIOS Image