That brings me on to the next topic: How do you update the gateway!
Not much that goes well today

I have followed the steps in the pdf. Formated usb to FAT32 and put the bin fil on it. Plugged it into the gateway and tried to do the resetting sequence.
It reboots, but obviously it does not load the new firmware.. Is there any way to debug it?