base-files: vkpurge: also remove obsolete kernel-headers files.