Remove outdated krait flags