Optimizations and bug fixes on scheduling functions
- Rewriting lot of ARM11 scpecific low level scheduling code with assembly
Copied some comments from old implementation