Added an option config for 800mhz DDR
Bugfix: platform command did not store the specified platform
Added: support for Minix Neo X7 and X7 mini (using: https://github.com/phjanderson/Kernel-3188-X7)
Merge remote-tracking branch 'phjanderson/master'