[PATCH 0/2] Fix va_high_addr_switch.sh test failure