armv7 patch without switching kernels to armv7 by default

[linimon]

Summary

These are the infrastructure changes that allow the use of armv7 as a valid ARCH value.

The previous patch switched to armv7 as a default for 32-bit kernels. That is excluded here.

Other than that, two changes to UPDATING which were missed are included; and some spelling was fixed.

[imp]

This is fine, but I still fail to see the problem with switching the kernels. The issues are orthogonal anyway, so we can go ahead and do this merge since this merge changes no defaults.

[imp]

UPDATING

55–57

This isn't relevant if you aren't changing the kernel configs.

[linimon]

Incorporate suggested change to UPDATING.

[imp]

hey Mark, sorry to quibble, but I have a suggestion on the UPDATING entry. I should have been clearer last time.

UPDATING

55

I'd add 'If you are opting into armv7, you must change the kernel config from armv6 to armv7 for the kernel you're using, otherwise uname -p may be incorrect, resulting in some configuration scripts choosing sub-optimal defaults. In addition, there are packages for armv6, but no patches yet for armv7. You'll need to add an alias to pkg.conf to get packages until that issue is resolved.' or something like that.

[linimon]

Fix UPDATING.

[imp]

OK. This is ready to land.

[gonzo]

Looks OK to me

[linimon]

Fix the fact that new file std.conf.armv7 was forgotten.

Remove the patch for std.conf.armv6, it is OBE.

[linimon]

Overcome by events.