[OpenBIOS] [PATCH 1/6] Fix alignment of memory allocated by OFMEM's ofmem_malloc().