Symbol: _kern_reserve_address_range