kernel: apply darmok patch

Update and apply darmok patch but do not activate darmok patch in kernel
configuration.

Signed-off-by: Mario Schuknecht <mario.schuknecht@dresearch-fe.de>