AArch64: strengthen Darwin ABI alignment assumptions