Now flashing my x230 with @coreboot_org !