[coreboot] How can I load SeaBIOS from GRUB with native VGA+VGA option ROM