Reducing the Linux kernel image size