Move kernel tagging scripts here