[bin] read kernel information from disk