Delete KernelExport.h