ARM: update Nomadik config