Convert binary page-table arrays captured from hboot images to C-language structures