Clarification: the kernel I am patching is from the Ubuntu kernel team's git repository, not a 'vanilla' kernel.
Clarification: the kernel I am patching is from the Ubuntu kernel team's git repository, not a 'vanilla' kernel.