fdpic: check that the size returned by kernel_read() is what we asked for