Correct manifest for ARM after copying from x86