Re: [OpenBIOS] [PATCH] bootinfo_init_program: improve memory allocation efficiency