El asunto parece grave, y salvo que alguien diga lo contrario, parece que es un error sistemático. Tal vez deberíais notificar el fallo a los responsables del kernel (supongo que el fallo está en el kernel).
-- que a mí ni me va ni me viene... pero por comentar...
