/* Get the value of a single file. * Returns a kmalloced value: call free() on it after use. * len indicates length in bytes. */