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