[OpenBIOS] Help with patch