smdk4412: update mali to r3p1-01rel1
galaxys2: update mali to r3p1-01rel1