[PATCH] Sign the aarch64 kernel