cocafe: mali/ux500: Fix bugs