address width changed -- SYSRET checks need update" .endif /* Change top 16 bits to be the sign-extension