[PATCH 10/10] efI: Allow packaging a kernel in the debugging script