adding kernel related tools for logibone/mark1