core_SetupMMU() takes one argument instead of none.