make.py: update description
gensoc: use add_verilog_include_path