[OpenBIOS] [PATCH 01/16] Alter ofmem_posix_memalign() so that the resulting pointer is aligned for both physical and virtual addresses.