removed kernel/modulop.h