Re: [coreboot] initrd in 4.4 versus head