Symbol: configure_pte_for_fw_loading