Re: [PATCH 2/2] speed up installer image build

Thanks for the patches! I've (finally) applied both. I dropped the GRUB changes as discussed on IRC, but it looks like efi_gop does make an error message go away so I'll probably add at least that one back. Formality: I also added a copyright line (my grant programme is very keen on me tracking that). I used the From address of your emails — if you'd like some other name/email there, or if you're not the copyright holder, just let me know so I can fix them.