Can KASAN be used with loadable modules?