[coreboot-gerrit] Patch set updated for coreboot: 85816e6 arch/x86/Makefile.inc: Pass $(AS) and $(CPP) to SeaBIOS