[PATCH v3 0/3] Fix va_high_addr_switch.sh test failure