What is the vmlinuz file, where does its name come from, and how does it differ from vmlinux and bzImage? The history and structure of the compressed Linux kernel image.