Specification for cl_arm_controlled_kernel_termination (#557)

Change-Id: Ie0b4a47a0ac7e7805020d913a6e1f3e27a644e79
Signed-off-by: Kevin Petit <kevin.petit@arm.com>
2 files changed