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