Update en.json

The GNU Hurd kernel and the Linux kernel are not used as the same time and are differents.