[SeaBIOS] SeaBIOS as EFI application