Merge pull request #1849 from boqwxp/cleanup_kernel_yosys