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