Fix the sorting of page_type attributes
Fix the sorting of page_type attributes

(can't cast ull difference into int)

Noticed when fixing https://bugzilla.redhat.com/show_bug.cgi?id=724937



git-svn-id: 14be032f8f42541b1a281b51ae8ea69814daf20e@3830 4b44e086-7f34-40ce-a3bd-00e031736276

BlueBrain/hwloc,BlueBrain/hwloc,BlueBrain/hwloc,BlueBrain/hwloc