redpine is slowing down rebooting or shutting down

sudo reboot is slow, because we're appearently waiting for the deauthentication:

[  176.217521] redpine_91x: RSI `hci0' flush
[  176.221628] redpine_91x: RSI HCI DEVICE "hci0" closed
[  176.226770] redpine_91x: rsi_hci_close: device `hci0' not running
[  176.262574] rfkill: input handler enabled
[  176.324271] dwc3 38100000.usb: request 000000001c55f00f was not queued to ep1in
[  206.905067] wlan0: deauthenticating from 60:14:66:ff:9f:1a by local choice (Reason: 3=DEAUTH_LEAVING)
[  206.914926] redpine_91x: rsi_mac80211_bss_info_changed: Change of ERP INFO: 0
[  206.922204] redpine_91x: rsi_mac80211_bss_info_changed: Sending vap updates....
[  206.979399] redpine_91x: <==== Interface DOWN ====>
[  208.064156] watchdog: watchdog0: watchdog did not stop!
[  208.117697] systemd-shutdown[1]: Syncing filesystems and block devices.