More robust clobbering of ARM builtins on host#2657

kilograham merged 1 commit intoraspberrypi:developraspberrypi/pico-sdk:developfrom

armandomontanez:fix-arm-host-buildarmandomontanez/pico-sdk:fix-arm-host-buildCopy head branch name to clipboard