arm64: Fix for the arm64 kern_addr_valid() function