Import updates to PEFS from GitHub:

https://github.com/glk/pefs/commit/dcdcffa0c8bf83af2f4465330d34873639d22f9c
https://github.com/glk/pefs/commit/d58b57d6df1e3e32a88ec8fabe007a0555fa9d80