Use a sapphire-specific kernel

We can't have a shared dream/sapphire kernel any more

Change-Id: Iac46637d47685b97e0fe0a06c2464aa7063c5bdb
3 files changed