Specification for cl_arm_controlled_kernel_termination (#557) Change-Id: Ie0b4a47a0ac7e7805020d913a6e1f3e27a644e79 Signed-off-by: Kevin Petit <[email protected]>