Re: [coreboot] [PATCH] Improve i82830 MBI SMI Handler - take 2