"One less kernel" here didn't refer to them having a linux kernel and not needing it, it referred to them having and maintaining NT but not needing it (instead,

"One less kernel" here didn't refer to them having a linux kernel and not needing it, it referred to them having and maintaining NT but not needing it (instead, utilizing an external Linux kernel).