[OpenBIOS] [PATCH 3/3] libopenbios: limit upper virtual memory range to ofmem_arch_get_virt_top()