Update prebuilt kernel

Change-Id: If667f6dd7f693e6e99f95ea33237ae44158d14d5
Add TV Out support

Change-Id: If9b628d83c7b345bf867bb4ba954715816e0e878
Add libtvout_jni.so

Change-Id: Ib0ee350d8ce593d3eea77dbf7e2c4bf3ff120eda
galaxysmtd: Update prebuilt kernel

aries: Clean up and fix GPIOs

Change-Id: Iafa4ccc841ba79e46a080aef9b895bcf780991cd
galaxysmtd: Updated prebuilt kernel

aries: Revert unneeded GPIO changes

Change-Id: I93a07b5057c986970ae705658c908ae6dd032fab
GingerDX adaptation