Re: [SeaBIOS] [PATCH RFC 5/7] Add PMM memory allocation facilities for VGA option ROMs