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