Comment 106 for bug 614238

Revision history for this message
dr431 (dr431) wrote :

How do you install the patch? I downloaded the header files and tried the dpkg command. When I rebooted, there was no option to select a kernel. What is the missing step?