dde_linux: Set Raspberry Pi path correctly

@nfeske: Could you squash this into the dde_linux port commit from yesterday. Thx.