Symbol: rmp_mark_pages_firmware