fixup ports (binutils)
Migrate base-foc to new ports management
dde_linux: Set Raspberry Pi path correctly

@nfeske: Could you squash this into the dde_linux port commit from yesterday. Thx.
seoul: migrate to new ports management