As discovered/mentioned in https://github.com/puzzleos/stubby/pull/16 , when kernel.efi was launched from the EFI shell we would get 'kernel.efi' in /proc/cmdline. That is not desireable. the change here will fix that behavior.
A solution to this landed in #22 as 2e0ce50f76913f18f1f3a6a6b86e4d753ea00465.
The solution here is probably more complete, but that should be sufficient for our needs.
As discovered/mentioned in https://github.com/puzzleos/stubby/pull/16 , when kernel.efi was launched from the EFI shell we would get 'kernel.efi' in /proc/cmdline. That is not desireable. the change here will fix that behavior.