Comment 80 for bug 1680904

If anyone else is having the issue with running @chichun's kernels, it could be due to the efi.signed image taking precedence. On my Dell XPS 13 the default kernel that boots was `vmlinuz-4.10.0-28-generic.efi.signed`. I forced it to use `vmlinuz-4.10.0-28-generic` and am now running the patched kernel.