madwifi: select the right hal binary for EABI on ARM