* device/lib/Makefile.in: updated for port specific include