Adjust the high bit here as this is for 32bit mips