arm64: Correct virt_addr_valid