If saHpiFinalize() is called and there was no saHpiInitialize() call before there can be segmentation fault.
Library initialization is checked on each HPI call save for saHpiFinalize().
If one only calls saHpiFinalize(), then the library initialization has not been performed and finalization code crashes.
Fixed in trunk (rev. 7472)