[RFC PATCH 10/17] ARM: kernel: save/restore v7 infrastructure support