1. add some comments
2. fix bug in 'helper.c' --> 'HELPER(set_cp15)'