Changed config.txt and changed some comments in pmm.
Random MMU hacking in platforminit.c