Re: [PATCH v1] lcitool: remove obsolete RISC-V ports setup for Debian 13+