Merge "Quick compiler: add comment to Arm encoding"