Kernel Address Isolation to have Side-channels Efficiently Removed - View it on GitHub