Re: [SeaBIOS] [PATCH] seabios: increase smp_mtrr array size