Linux can be called with instruction cache enabled. As this is the default setting we are running in barebox, there's no special preparation required.