[coreboot] New patch to review for coreboot: f5e594f roda/rk9: Fix for VGABIOS changes