Added MP locks to ARM11 MMU code and fixed some configMP compilation issues.