[PATCH] BUG112906: Fix flash-images to build on EFI systems