coreboot:configs:x200