So my 12yo son says this about the problem with his Pi: The pi doesn't work with retro pi. the pi has all the proper set up files, like boot.bin and the other ones. When he plugs in the power , he only sees a red light. It doesn't blink and he can't figure out why. (the SD card is 4gb) This is what ...