[coreboot] Re: Boot loop on Thinkpad X200/GM45 with master.