Re: I am skeptical
I think the key point is the kernel (in fact, most OS stuff) is simply too big and complicated to be correct. And so they are proposing a much simpler system to look for changes that should not happen as an indication of bugs or exploits being used. It is unlikely to stop the likes of GCHQ/NSA/FSB's best, but it is not a bad idea if it is small and reliable. A bit like Apparmor for additional protection against badly behaved (or compromised) daemons, web browsers, etc.
Of course those in favour of provable microkernels will be gloating at this point, but they still have the problems of (a) lower level faults (CPU bugs, non-proven libraries, etc) and (b) no one really uses them for the sort of big jobs we generally want. That is dominated by Linux (monolithic monstrosity) and Windows (microkernel virginity long since lost).