kernel.svg: translate to English