kernel: Update to 3.9.3.

Comes with the great unified ARM kernel, which lets us ditch
the OMAP kernel. There is also still the EXYNOS kernel and
kirkwood kernel for armv5tel.

The EXYNOS kernel configuration is now built upon the default
armv7hl kernel configuration, which makes it much smaller.
Merge branch 'kernel-3.9'