Use the right exportable kernel types