ff4eb7 Fix vki-scnums-ppc64-linux.h

Authored and Committed by Mark Wielaard 3 years ago
    Fix vki-scnums-ppc64-linux.h