@Christian, if by "unpatched" you mean the original kernel which caused the problem, then you're again triggering the issue -- so run the patched kernel as directed to fix the issue, then do not run the original kernel again otherwise the issue will again recur.
@Christian, if by "unpatched" you mean the original kernel which caused the problem, then you're again triggering the issue -- so run the patched kernel as directed to fix the issue, then do not run the original kernel again otherwise the issue will again recur.