kernel: and another possible area name buffer overflow...