Thanks! I will think about it, though, at the moment, the tool still only supports a fraction of the standard kernel..
