[coreboot] final set of changes to allow rumba to build with Kconfig