puoi controllare se la tensione dell'alimentatore sotto carico resta invariata? Il fatto che la xmos funzioni male solo con un tipo di alimentazione mi fa pensare che il problema sia legato all'alimentatore e non alla scheda.