Finish portalfs removal.
Add more obsolete files.