board-rio-grande.c: Add second argument to fix build according to 3.4 devices-db8500.h