Improved comments and added calls to SyncDCache() when required.
The TLB initialization function has been fixed yet again.