Is it possible to establish whether yesterday's wave of SLE 12+ kernels have been compiled with this optimization in place ?