sh: Make kgdb i-cache flushing less inept.