Kenya: foreign equity investors stay put despite attack