Improved comments in arm11_int_handlers.S