[coreboot] Patch merged into filo/master: 181d45d Set root device while probing boot_devices list