[coreboot] Should I keep File #4491 open?