uboot/configs/xilinx-ppc440-generic_flash...