[RFC PATCH 08/17] ARM: kernel: save/restore arch runtime support