Now finally boot Linux kernel

Signed-off-by: Joakim Bech <joakim.bech@linaro.org>