A few changes to boardconfig