Add `frequency` as an alternative to `channel` to the wifi API

On Android you only get access to the raw frequency.