Given we want to ensure that all instructions are fetched again, we can treat an ISB instruction as a code cache flush.