Remove our merge of PEFS in CURRENT. We will point users to the port version for
the time being, until it gets merged into HEAD at some point.