Add more ARM64-specific code for jitTop. Still doesn't fix the bug.