Post #1989394

@iliana What kernel does the image use, upstream Debian linux-image-arm64? Last time I tried that (about eight months ago, on a RPi4), I was disappointed to find that SD card throughput was worse by a factor of ~two compared with the Raspbian kernel, and the USB host driver didn't allow uhubctl to toggle port power. I wish RPi Foundation would put more effort into upstreaming.