Re: [SeaBIOS] How much RAM is required?