kobj_boot_read
static int kobj_boot_read(int, caddr_t, size_t);
count = kobj_boot_read((int)descr, buf, size);