ipipe-core-3.5.7-powerpc-3
ipipe-core-3.5.7-arm-3
ipipe-core-3.5.7-x86-3
ipipe-core-3.5.7-blackfin-3
linux: removing unused file
Makefile: Updated EXTRAVERSION from xilinx to ipipe
zynq: adding ADT specific files
script: adding ADT kernel build script
script: fixed the kern_make.sh script
adt: updated configs and build scripts
arm/ipipe: fix off-by-one error in IPI virqs allocation
Zynq:zed:Updated ADT dts
adt:zed:changed fs type to ext2
adt: Updated kern_make.sh to use x86_64 and added defconfig, updated arm defconfig

	kern_make.sh now uses either arm or x86_64, and can update the localversion via an arguement
	i386 defconfig was renamed to x86_64 and upated for 64-bit
	arm defconfig was updated to use the same localversion as x86_64 ("-xeno")
adt: updated x86_64 defconfig to function correctly with efi boot

Ran into a few issues when booting via elilo:
1) efifb conflicted with inteldrmfb (removed inteldrmfb, as removing efifb resulted in no console)
2) kernel panic due to efi variables-- removed efi variable access via sysfs.
   May need to debug in the future (maybe bad BIOS on AD7004)
zynq:zed: updated rootfs to mount ro
adt:zynq: Updated defconfig to ARM/v3.5.7 and turned off options that broke ipipe/twd

	timer.c: restored rating to 200
	defconfig: made a more "standard" defconfig based on ARM, updated some important options:
		CONFIG_NO_HZ=n
		CONFIG_HOTPLUG_CPU=n
		CONFIG_CPU_FREQ=n
		CONFIG_MPCORE_WATCHDOG=n
ipipe:zynq: updated timer.c to support tsc for non-smp case
Merge branch 'ipipe-3.5.7' into ipipe-xilinx-3.5

Grabbing fix for printk from the primary domain from upstream ipipe