Re: armv7: remove gcc support from kernel Makefile

[Theo de Raadt]

> OK?  Or it can be rolled into somebody else's larger "remove gcc
> from armv7" diff.

This is fine with me as-is.