[OpenBIOS] [PATCH 08/15] PPC: add flush_dcache_range() to start.S