x11-drivers/mali-drivers: rewrite and move back to 9999