Re: [PATCH v9 1/2] arm64: Add BOOT_TARGETS variable