Re: [OpenBIOS] Fixes for 'int' use