loader to switch from aarch32 to aarch64 and boot - View it on GitHub