Add kernel config file and initial patches.
Working:
- SMP
- USB EHCI
- Watchdog
- DMA controller
- Interrupt controller
- ACT8600 regulator
- i2c
- UART ports
- Real time clock

Non working:
- MMC driver: it has to be corrected so it was not
included in the kernel config file