firmware: Do not use WARN_ON(!spin_is_locked())