coreboot:configs:x230