8c18dab95e
bother syncing the icache for the special case of the kernel (id == 1), since the loader has already done this. __unused use reported by: gallatin