Extend kernelPackages using kernelPackagesExtensions by adding a simple "hello world" kernel module. Ensure it is loaded and the "Hello world!" printk appears in dmesg.
