Very Slow to 4MHz, fix linter error

micropython/examples/badger2040/launcher.py

@@ -1,7 +1,6 @@
 import gc
 import time
 import math
-import machine
 import badger2040
 from badger2040 import WIDTH
 import launchericons

micropython/modules/badger2040/README.md

@@ -71,7 +71,7 @@ Badger 2040 features five buttons on its front, labelled A, B, C, ↑ (up), ↓
 
 The system clock speed of the RP2040 can be controlled, allowing power to be saved if on battery, or faster computations to be performed.  Use `badger2040.system_speed(speed)` where `speed` is one of the following constants:
 
-* `SYSTEM_VERY_SLOW` = `0`  _3 MHz if on battery, 48 MHz if connected to USB_
+* `SYSTEM_VERY_SLOW` = `0`  _4 MHz if on battery, 48 MHz if connected to USB_
 * `SYSTEM_SLOW` = `1`  _12 MHz if on battery, 48 MHz if connected to USB_
 * `SYSTEM_NORMAL` = `2`  _48 MHz_
 * `SYSTEM_FAST` = `3`  _133 MHz_

micropython/modules/badger2040/badger2040.cpp

@@ -551,8 +551,8 @@ mp_obj_t Badger2040_system_speed(mp_obj_t speed) {
         sys_freq = 12 * MHZ;
         break;
 
-    case 0: // VERY_SLOW: 3 MHZ, 1.0V
-        sys_freq = 3 * MHZ;
+    case 0: // VERY_SLOW: 4 MHZ, 1.0V
+        sys_freq = 4 * MHZ;
         break;
     }