kernel: add tools for easy building