[Bug 1015378] Kernel bug in runtime-wrappers.c