Hi, I'm developing some design for iCE40HX8K-EVB board and stuck with sys_rst signal. If I try to use verlilog.convert, than resulting verilog file will contain sys_rst, and I can't map it anywhere, since arachne-pnr doesn't have any info in its chipdb. But if ice40_hx8k_b_evn.Platform().build is called than sys_rst is wired to int_rst register in resulting verilog file. So my questing is - how can I map sys_rst to int_rst on python side, to get same resulting verilog as platform.build()?