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