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