samsung-i9100: add mainline kernel

Kernel config based on: https://github.com/Sekilsgs2/i9100_kernel_mainline_port/blob/master/arch/arm/configs/i9100_defconfig

How to get serial output

I made a USB debug cable using a 523K resistor. You can get bootloader output by holding the HOME button while booting. To enter prompt hold the RETURN key until you get the SBL> prompt. Now change the CMDLINE and boot with:

setenv SWITCH_SEL 3
setenv CMDLINE loglevel=7 console=ttySAC2,115200 PMOS_NO_OUTPUT_REDIRECT
saveenv
boot

Setting SWITCH_SEL somehow enables serial output on the USB connector.

TODO

• Boot to debug-shell
• Boot to pmOS
• USB Network
• 3D Acceleration
• Wifi
• Bluetooth
• Everything else