Search Debian machine list for available porter boxes