[coreboot] Lenovo X230 + 32GB RAM ?