I downloaded the 64bit image for the Raspberry PI 400, newest 2020.04 mentioning RPI 400. After booting, wifi does not show up, ifconfig does not list it.
How do I enable wifi?