- Added some critical sections to ARM11 MMU code
- Fixed set_interrupt() function as it was generated incorrectly previously