Added config file with CONFIG_HIGHMEM disabled. Should solve MR allocation problems