[PATCH v4 00/17] Introduce partial kernel_read_file() support