the patched kernel does solve this bug for me
Should read:
the patched kernel does NOT solve this bug for me
the patched kernel does solve this bug for me
Should read:
the patched kernel does NOT solve this bug for me