[PATCH v3 00/19] Introduce partial kernel_read_file() support