Comment 5 for bug 2038087

@xypron Sure, that matters if you're using GRUB via EFI, but none of the Pi images do. I'll patch this to fix it because it does look sloppy on our part, but this is basically a cosmetic fix -- it doesn't change which DTBs are copied because in the case of the Raspberry Pi images all DTBs are always copied.

It also doesn't affect any non-Pi boards because none of them match "Raspberry Pi *" (at least I'd be rather surprised if they do!).