/config/coreboot/x200_16mb/