Para solucionalo ( serial port not found), terias que ir a Tools e seleccionar o porto. O problema é que cando o intentas, a opción aparece bloqueada e non tes acceso ás opcións de Serial port:
A solución é sinxela, abres a terminal e tecleas sudo arduino:
E xa abre o IDE de Arduino co menú dos portos activo:
