[Solved] unrecognized/unsupported machine ID@Ubuntu Desktop Linux in Reference Designs

1.use cf_adv7511_zed_edk_14_4_2013_02_05.tar.gz downloaded from wiki.analog.com
2.generate bitstream in xps
3.create fbsl in xsdk
4.download xilinx uboot git u-boot-xlnx
5.git checkout -b xilinx-14.2-build1-trd xilinx-14.2-build1-trd
6.make zynq_zed_config && make
7. create partition in sdcard
8 use the xilinx create image in xsdk generate boot.bin

git clone git://github.com/analogdevicesinc/linux.git ubuntu

cd ubuntu
git checkout xcomm_zynq
make ARCH=arm distclean
make ARCH=arm zync_xcomm_adv7511_defconfig
make ARCH=arm

make ARCH=arm zynq-zed-adv7511.dtb
rename zynq-zed-adv7511.dtb devicetree.dtb
copy from arch-arm-boot the 2 files to sdcard fat32.

I missed the 7 step when do u-boot-xlnx
in /include/configs/zynq_zed.h
delete u201Cfatload mmc 0 0x800000 ramdisk8M.image.gz;u201D

I'm almost sure the zImage I make from
"git://github.com/analogdevicesinc/linux.git" is error

UART always says:

Error: unrecognized/unsupported machine ID (r1 = 0x1fb71dd0).                  
                                                                               
Available machine support:                                                     
                                                                               
ID (hex)        NAME                                                           
00000d32        Xilinx Zynq Platform

following is my u-boot-info
zed-boot>bdinfo                                                               
arch_number=0xEFECB83D                                                       
boot_params = 0x3FDF75FB                                                       
DRAM bank   = 0x00000000                                                       
-> start    = 0x00000000                                                       
-> size     = 0x20000000                                                       
ethaddr     = 00:0a:35:00:01:22                                                
ip_addr     = 192.168.1.10                                                     
baudrate    = 115200 bps                                                       
TLB addr    = 0x1FFF0000                                                       
relocaddr   = 0x1FF85000                                                       
reloc off   = 0x1BF85000                                                       
irq_sp      = 0x1FB74F70                                                       
sp start    = 0x1FB74F68                                                       
FB base     = 0x00000000


If use other zImage ,make from "git://git.xilinx.com/linux-xlnx.git" (use xilinx_zynq_defconfig,inside there's no zync_xcomm_adv7511_defconfig)
it'll not print error message above "unrecognized/unsupported machine ID"

I just do it step by step as the pdf says,and have reviewed at lease 3 times.
And I find the same question on some webpages.withot solution.
any help?

I've the same problem but can't find any solution. Any one pls. help!

you should add the macro define in zynq_zed.h in uboot code. #define CONFIG_MACH_TYPE 0xd32
If you define the macro, the value will be translate to bi_arch_number in board.c, and at last translate to kernel in function kernel_entry(0, machid, r2) in bootm.c

I have solved it.
see
http://ez.analog.com/message/87877
in linux kernel config
set
CONFIG_XILINX_FIXED_DEVTREE_ADDR=y
it works for me