Cleanup in user_board.h