Hot pepper flakes substitute for kimchi