tricorder: read kernel directly from NAND