[SeaBIOS] How much RAM is required?