/config/module/coreboot/x200_4mb/