Re: [OpenBIOS] Dynamic memory allocation