Revert^2 "trusty: Mark nxp targets as 32-bit"

1b7796daa759c8c3584fd99bc832e186ea1ca7a4

Change-Id: Id8b7c30607073671bf4c773e59ebc9779e246a85
diff --git a/project/imx7d-inc.mk b/project/imx7d-inc.mk
index a504688..4af7572 100644
--- a/project/imx7d-inc.mk
+++ b/project/imx7d-inc.mk
@@ -19,6 +19,7 @@
 SMP_MAX_CPUS ?= 2
 SMP_CPU_CLUSTER_SHIFT ?= 1
 WITH_SMP := 1
+KERNEL_32BIT := true
 
 # select timer
 GLOBAL_DEFINES += TIMER_ARM_GENERIC_SELECTED=CNTPS