[Bug 1019860] New: kernel-default has CONFIG_RING_BUFFER_BENCHMARK=y