bjh21@netbsd.org said:
> As far as I can see, these files are still pre-processed, so they
> should probably remain .S.  There are plenty of .S files elsewhere in
> sys/arch (119 .S vs 124 .s), so just renaming the arm32 ones is an
> incomplete solution.

> I'd suggest taking this over to tech-kern.  I'll do so if I get a
> chance.


Hmm, you are right.  Now what made me think that we always pre-processed 
.s files?  This does sort-of scupper the renaming idea.

I think the best thing to do is file a PR.

R.