[coreboot] [PATCH] romcc --include=settings.h support