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