target/arc770: switch to 4.9 kernel