Improve comments of ARM ACLE header file and tests

Include section number in ARM ACLE specification for easier navigation.