------- Comment From <email address hidden> 2020-05-06 08:06 EDT-------
To add, I'm pretty sure this broke in a very recent change as we were using
the installkernel script extensively just last week.
Also I believe there is something in the usual kernel upgrade process that
hides this issue as kernel upgrades via apt seem to work fine.
------- Comment From <email address hidden> 2020-05-06 08:06 EDT-------
To add, I'm pretty sure this broke in a very recent change as we were using
the installkernel script extensively just last week.
Also I believe there is something in the usual kernel upgrade process that
hides this issue as kernel upgrades via apt seem to work fine.