Is there any font encoding the second stage of simplification?
I understand from the author of that proposal that these characters will be in Unicode when CJK Extension G is adopted sometime next year.  In the meantime, they are available in his font Babelstone Han PUA.