boardconfig: fix build