Linux Kernel boot wrapper for ARM64