[OpenBIOS] dumb_memalloc