@Carlos: that kernel is a pre-proposed one, and as far as I can tell not the one referred to in #106. Thus, I still have the same question as Paulo.
@Carlos: that kernel is a pre-proposed one, and as far as I can tell not the one referred to in #106. Thus, I still have the same question as Paulo.