475f00372b
Although done with the best intentions, the usage of #warning in the ARM build makes it hard to see what's going on, or see any "real" warnings. Remove at least this particularly often triggered one, so we can have a relatively "quiet" build again...