vsprintf: kptr_restrict is okay in IRQ when 2