[PATCH v3 0/3] Support Devkit800 device tree