Re: [coreboot] X230 coreboot potential issues?