Re: [SeaBIOS] [PATCH] Don't overallocate mptable