Mali-400 kernel drivers for external compilation for use with linux-sunxi kernel.