[U-Boot] [PATCH 12/13] tricorder: read kernel directly from NAND