Copy some ideas and fixes from https://github.com/dsd/linux-odroid to make Mali driver loading properly