fix kernel/user mode objs generation