arm64: Allow random seed to be specified for KASLR

Fully fledged bootloaders should really be populating this from within
the guest using virtio-rng, but having a way to specify it on the cmdline
is useful for developers or users without a bootloader.

Signed-off-by: Will Deacon <will.deacon@arm.com>
3 files changed