* library files can be built even if not used (this gets us more build-time
testing, as for example I usually build with no IP support).

* Some ifdefs are not needed, use HAS_IP instead. This adds a few
bytes to some configurations (not all, can't tell why), but I find it
acceptable.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>