I now tried with the 32-bit version of Ubuntu. That did not work either.
I also tried upgrading to kernel 3.15, but there were some errors in the upgrade and the USB-stick was not able to boot afterwards.
I now tried with the 32-bit version of Ubuntu. That did not work either.
I also tried upgrading to kernel 3.15, but there were some errors in the upgrade and the USB-stick was not able to boot afterwards.