[coreboot] Re: T440P porting and issues