[PATCH 3/3] ntdll: Optimize get_vprot_range_size() for big ranges.