Extend the verification crate for powerpc

[lu-zero]

Since IBM is working on a new set of documents, I opened an issue asking them to provide something we can consume properly.

[programmerjake]

that link is dead, afaict the updated link is https://git.openpower.foundation/systemsoftware/Programming-Guides/issues/2