Thanks for the fix! I should have tested with CONFIG_DEBUG_SPINLOCK. Tested-by: Yabin Cui <yabinc@xxxxxxxxxx>