[coreboot] Jenkins: Use a config file with more stuff enabled