Re: [RFC PATCH 05/17] ARM: kernel: save/restore kernel IF