Identifying Multi-Binary Vulnerabilities in Embedded Firmware at Scale