Re: [coreboot] [patch][v2] fix sirq mfgpt conflict