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