Streamline kernel config and add more hypervisors

Added driver support for all the hypervisors that have kernel support.
Also cleaned out a lot of options we didn't really need.

Change-Id: I6b58ee603606e8729482f78d55457dd9aa039731
Fix hard drive naming for Xen PV mode

It's xvdY, not xdY.

Change-Id: Id3cb2a37a045f791abbde63201f5f544f78117cc
First round of fixes for kitkat upgrade

Not much more than "made it compile" right now.

The sensor API changed a little, requiring two new fields be initialized
in the libsensors setup code.

The media_codecs and media_profiles must be provided by the device tree
now and can't be pulled from an existing place in the AOSP code like
before.
First try at android-3.10 kernel config
Update init and storage for kitkat