[coreboot] Re: Flashing coreboot on T440p by just flashing the 4MB chip - how?