x86, pebs: fix PEBS record size configuration