Hello...

now I have a working Barebox 2014.07 on the pyhCore...

   * I used the attached configuration
   * Generated a patch to the git (commit
     9d7b0ba957a665d6013c4fa53df04ac324618a40)
   * For NAND support it is important to enable *CONFIG_BUS_OMAP_GPMC*

after that the Barebox starts and boots the Linux Kernel from my SD-Card...

Thanks for everyone

Florian