/projects/coreboot/configs/r400