[SeaBIOS] [PATCH v2 2/3] vgasrc: add allocate_pmm()