Add patches for tc2
tc2 does not support 32bit executables
Change-Id: If0d45b38bcf591f0a26a9e3bbfd1bb091eba7830 Signed-off-by: Ben Horgan ben.horgan@arm.com
tc2 does not support 32bit executables
Change-Id: If0d45b38bcf591f0a26a9e3bbfd1bb091eba7830 Signed-off-by: Ben Horgan ben.horgan@arm.com