kernel: Update darmok driver

Update darmok driver.

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