not the nicest way, but it works

if we add any other HTC Tegra3 devices (HTC ONE X+) we need to add 
ifeq ($(TARGET_DEVICE),ebdeavoru,encrb)
or whatever the device name is, to call this .mk file.