Rename Linux kernel v0.11 comment