Annotates the kernel extension properly