[OpenBIOS] Re: [PATCH] ppc: fix ciface_milliseconds using incorrect frequency for delay