boot linux kernel on ARMv8 soc platform