[coreboot-gerrit] New patch to review for coreboot: 4f707fc Board Roda rk886ex & rk9: Non-local header treated as local