Re: [SeaBIOS] SeaBIOS as EFI application