[OpenBIOS] Dynamic memory allocation