Dry etching of porous silicon in high density plasmas