[OpenBIOS] Fixes for 'int' use