[PATCH v4 08/17] fs/kernel_read_file: Add file_size output argument