Updated instructions for Linux kernel