pico_simple_hardware_target(sync_spin_lock)