bmp options moved

spinnman/spinnman.cfg

@@ -8,15 +8,3 @@
 ignore_bad_ethernets = True
 report_waiting_logs = False
 turn_off_machine = False
-
-# format is:
-#     bmp_names     = <host>[/(<board-range>|board_id[,board_id]*)
-#     <board_range> = <board_id>-<board_id>
-# where:
-#     <host> is the hostname or IP address of the BMP
-#     <board_range> is a range of boards that the BMP can speak to
-#     <board_id> is the ID of a single board in a frame
-# Note this no longer supports multiple host nor cabinet or frame
-bmp_names = None
-
-auto_detect_bmp = False