[LinuxBIOS] [PATCH] vgabios: use same interface for biosemu.c and vm86.c