Fixing an old TODO for invalidating translation caches when using non-4KB pages for MIPS. This makes HelenOS 0.7.1/malta boot further than before.
Authored by: debug 2018-06-13
Parent: [r5905]
Child: [r5907]
