[coreboot] Patch merged into coreboot/master: f5e0fd8 roda/rk9: Fix for VGABIOS changes