[coreboot] X230 coreboot potential issues?