[coreboot] Patch merged into filo/master: e4f93b2 Show root device we're booted from in header.