Symbol: aarch32_setup_additional_pages