Re: [PATCH 10/10] ARM: FIQ: Get rid of init_FIQ()