[coreboot] problems with compilation for asrock g41c-gs-2.0