update IXP42x target / XBA board config