Changing assembly coding style and fixing indentation.
Final implementation of req_context_switch() for ARM11