[SeaBIOS] [PATCH 10/10] post: Map int 0x05 to entry point