KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization