%general-entities; ]> Linux-&linux-version; Linux Installation of the kernel The following sed moves /lib/modules to /lib64/modules to keep our consistency of using /lib for 32-Bit and /lib64 for 64-Bit: sed -i 's@/lib/modules/@/lib64/modules/@g' Makefile cp arch/x86_64/boot/bzImage /boot/clfskernel-&linux-version;