instrument to generate rtl and dot file from source code of linux kernel