Re: [coreboot] #96: Make default device and lookup path for grub.cfg configurable