A little bug that could.. leak kernel allocation ptr.