Hi Takashi. Installed the patched kernel yesterday. But I booted the system only once since installing it. Now it works, but I'll put additionall comments if it will be ok or not on the next boots.