Required to be compatible with any of the files/code we end up copying
from the original open source mali kernel drivers. I like the GPL anyway
:).