Add missing call to kernel::terminate