Re: [PATCH] ARM: armv7: add non-SPL enable for Cortex SMPEN