kernel 3.10: update darmok

Update darmok source but do not apply darmok, because it is not funrional.

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