[SeaBIOS] RFE: Print amount of RAM