[coreboot] Re: [arm64] queries on current support and future direction