U-BOOT to enter hyp mode
passes kernel arguments with nosmp for kernel compiled without CONFIG_SMP