debian: moved platform to 7.1.4; control to 3.9.4

Signed-off-by: Frans Meulenbroeks <fransmeulenbroeks@gmail.com>