[OpenBIOS] help with debugging