/* This snippet does nothing, if WiFi RX IRAM optimisations
   are disabled. */