Thanks. The kernel log doesn't show anything doubtful through a quick glance. Then can you try to get the stack traces of the tasks via alt-sysrq-t? Try to enable the all sysrq beforehand (e.g. pass "sysrq_always_enabled" boot option).