linux 3.4: update to latest git

Changes include, but are not limited to:

* 32bit hdmi audio support
* MMC support for sun41
* SPI fixes
* AXP thermal support

Signed-off-by: Koen Kooi <koen@dominion.thruhere.net>
Merge pull request #55 from koenkooi/kernel-update

linux 3.4: update to latest git
Detect x11 and wayland support in distro and install framebuffer libs in case of wayland and x11 ones otherwise.
Add libump from here : https://github.com/linux-sunxi/libump
Sunxi-mali depends on libump
Update libump: remove PE
machines: sync u-boot config name with boards.cfg

Recent u-boots (e.g. 2014.04-rc) need the _config appended to work, so
add that and sync the names with boards.cfg as well.

Signed-off-by: Koen Kooi <koen@dominion.thruhere.net>