u-boot: Update to v2014.07 for all platforms

Note: this is WIP.  This is based on v2014.07-rc2+

Signed-off-by: Ash Charles <ashcharles@gmail.com>
linux: Use 3.15 kernel for Overo, DuoVero and Pepper

Signed-off-by: Ash Charles <ashcharles@gmail.com>
linux: Add support for VOUT driver

Enable CONFIG_VIDEO_OMAP2_VOUT so we can directly output video from
the V4L subsystem on Overo.

Signed-off-by: Ash Charles <ashcharles@gmail.com>
linux-gumstix: Add support for reset APIs

Signed-off-by: Ash Charles <ashcharles@gmail.com>
linux: Include devicetree files per kernel recipe

The devicetree files available in any kernel may vary so set them
in the specific kernel recipe.  As a machine may not use a
devicetree kernel, pull in the kernel-devicetree package in the
specific kernel recipe.

Signed-off-by: Ash Charles <ashcharles@gmail.com>
linux: Add a Linux 3.4 recipe for DuoVero

An off-shoot of the 3.4 kernel is compatible with the
hardware acceleration binaries for OMAP4.  Make this
kernel available to provide a path to supporting SGX etc.
on DuoVero.

Signed-off-by: Ash Charles <ashcharles@gmail.com>
linux: fix build of external SGX modules for 3.2 kernel

As per [1] with thanks.

[1] https://github.com/RobertCNelson/stable-kernel/tree/master/patches/sgx

Signed-off-by: Ash Charles <ashcharles@gmail.com>
linux: Remove 3.5 (overo) and 3.6 (DuoVero) kernels

Overo and DuoVero are both supported by the mainline 3.15 kernel.
Binaries for hardware acceleration on these platforms are typically
not compatible with either of these versions.  As such we get rid of
these two kernels in favour of a recent mainline kernel and any
specific kernels required for binary compatibility.

Signed-off-by: Ash Charles <ashcharles@gmail.com>