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