Efectivamente tu deco es un 6072, no un 6071. El manual ponía un 6071 porque era un caso particular, pero no porque siempre tenga que ponerse ese.
Como te dicen ahora oslink o jtag