pico : Avoid poisoning the host binaries with bad ABIs

Change-Id: I0b7b562c99a4d8655ce83df269695fd07c7fd1a3