Just 500

Co-authored-by: Dan Halbert <[email protected]>

Author: bill88t

ports/raspberrypi/common-hal/wifi/Radio.c

@@ -161,7 +161,7 @@ void common_hal_wifi_radio_stop_station(wifi_radio_obj_t *self) {
     // (by tcpip_link_status). However since ap disconnection isn't working
     // either, this is not an issue.
     cyw43_wifi_leave(&cyw43_state, CYW43_ITF_AP);
-    size_t timeout_ms = (size_t)MICROPY_FLOAT_C_FUN(ceil)(500);
+    const size_t timeout_ms = 500;
     uint64_t start = port_get_raw_ticks(NULL);
     uint64_t deadline = start + timeout_ms;
     while (port_get_raw_ticks(NULL) < deadline && (cyw43_tcpip_link_status(&cyw43_state, CYW43_ITF_STA) != CYW43_LINK_DOWN)) {