Add missing arguments to kernel repacking