/projects/coreboot/configs/veyron/mickey/