- || LTTNG_KERNEL_RANGE(3,4,91, 3,5,1) \
- || LTTNG_KERNEL_RANGE(3,2,58, 3,3,0))
+ || LTTNG_KERNEL_RANGE(3,4,91, 3,5,0) \
+ || LTTNG_KERNEL_RANGE(3,2,58, 3,3,0) \
+ || LTTNG_UBUNTU_KERNEL_RANGE(3,13,11,31, 3,14,0,0) \
+ || LTTNG_RHEL_KERNEL_RANGE(3,10,0,7,1, 3,11,0,0,0))