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