I just found this post:
He's got the same device as me and he posted the contents of his /etc/config/wireless file.
These appear to be the values I've been looking for:
config wifi-device 'radio0'
option type 'mac80211'
option path 'pci0000:00/0000:00:00.0/0000:01:00.0'
config wifi-device 'radio1'
option type 'mac80211'
option path 'platform/10180000.wmac'
Should I configure the /etc/config/network file before the first boot, too?