[coreboot] Fwd: coreboot Kconfig missing deps on x201 board