Remove __BOARD_NUM__ and add board option config in platform/KConfig to replace it