I don't understand what this is for. We are not using the MPU port, are we?
Is this a default thing to do when including task.h?