Re: [SeaBIOS] [PATCH] vgabios: Fix PMM allocation request size.