Summary: Partial backport of 8080600 to make AArch64 a known platform
Reviewed-by: dholmes, coleenp