Firmware modifications compared to the KreaTV platform:

Patches
* Add patches/stfdma_reboot.patch to stop the FDMA engine before rebooting.
* Add patches/kexec.patch to fix crash notes building problems.
* Add patches/stmmac_reboot.patch for the reboot notifier and initialization
  of the PHY as early as possible.
* Add patches/fan_ctrl.patch for controlling the fan.

Linux configuration
* Memory start should be 0x04000000 and memory size 0x07600000. The reserved
  top memory should be 10 MB. This is achived by setting the reserved STAPI
  memory to 0x00A00000 (10 MB).
* Disable Kernel features->Preemtive kernel.
* Enable Kernel features->kexec system call.
* Disable Device drivers->Character devices->Kbox device.
* Remove unused file systems such as MSDOS, VFAT etc.
* Remove SCSI support.
* Remove USB support.
* ...
