Re: [PATCH] ci: drop mipsel on Debian Sid