[PATCH 3/4] Add support for various Debian architectures