coherent locales

Dear categories, In ``Stone spaces'', Johnstone notes that the assumption that every coherent locale is spatial is equivalent to the prime ideal theorem for distributive lattices. Is it generally agreed that the assumption that the spatial part of every coherent locale has coherent topology is also equivalent to the above two axioms? Cheer, PBJ.