boardconfig: Use Dopa kernel...