Tell cmake where to find the SDK

cmake needs a hint to find the SDK. Let's tell it.

Also keep track of the SDK version in the resulting binary.

Signed-off-by: Marc Zyngier <maz@kernel.org>
2 files changed