x86, pebs: correct qualifier passed to ds_write_config() from ds_request_pebs()