Are these the drivers that were needed for a working pine64 image? http://wiki.pine64.org/index.php/Mali_Driver
