Fault detection and integrity monitoring for kernel isolation structures