sh: do not perform IPI-based cache flush except on boards that need it

Signed-off-by: Rich Felker <dalias@libc.org>
1 file changed