cleanup: remove device_tenderloin and move differences to full_tenderloin

* if a makefile exists but isn't called, is it really used?
* if a tree falls in the woods, and nobody is around to..ah nevermind...

Change-Id: Ib9ac244f53b43690869aa41ee017e13329005d44