[Bug 1019860] kernel-default has CONFIG_RING_BUFFER_BENCHMARK=y