Re: [coreboot] ThinkPad X230 alternative flash chips?