Get an email when a new Linux kernel is released