[OpenBIOS] [PATCH 0/3] Limit upper virtual memory range to ofmem_arch_get_virt_top()