Use a submodule for the SDK

Relying on whatever SDK people have at hand is no good to reproduce
issues. Instead, move over to a local copy of the SDK using a git
submodule.

Disk space is free, right?

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