Symbol: add_boot_mem_regions