Hi,
Have you guys already tried by updating the latest firmware? There is a new one that you might want to try. Also how are you entering into the Linux console? Serial console cable or with a sketch that enables the USB Client for entering the console? Please also let us know which OS are you using.
Regards,
JPMontero_Intel