Re: [coreboot] [PATCH] Factor out common mptable code to mptable_init()