[OpenBIOS] [PATCH] Dummy tick counter