HACKING: update ported machines and add some tips
scripts: remove the Id token in the makefile generator too