[PATCH 2/2] selftests/mm: fix va_high_addr_switch.sh failure on x86_64