Backported ps2, ps3, ps4 controller driver from linux kernel 3.17
Switch to version 0.4
Set default hdmi out resolution to 720p
Introduce mali 400 drivers r4p1