Bug#1031356: pinctrl: linux-image-6.1.0-3-amd64 : kernel NULL pointer dereference with intel pinctrl driver

[Salvatore Bonaccorso]

Hi Frédéric,

On Fri, Feb 17, 2023 at 09:59:06PM +0000, BUISSON Frederic wrote:
> Hi Salvatore,
> 
> The BIOS update has fixed the bug.
> Thanks for your help.

Thanks for the confirmation!

Regards,
Salvatore