arm, keymile: updates for the arm based boards from keymile