[coreboot] Re: X131e: Status, experiences and remaining problems