Just inline it into flush_icache_range() which is the only
user.
Signed-off-by: NDavid S. Miller <davem@davemloft.net>