>> pctecserver:

“[...] El problema ya era conocido en el kernel de Linux, [...]”

Sin "de" ;)

Linux no tiene kernel, sino que _es_ un kernel.