At long last the SDcard image in /n/sources/contrib/miller/9pi.img.gz is up to date. Besides having support for Raspberry Pi 3 and Zero, it is now much more robust running on multiple cores, and includes new interfaces for GPIO, SPI and I2C devices thanks to Brian Stuart and Vita Nuova.
As well as the bcm-specific kernel changes (which can also be found in /n/sources/contrib/miller/9/bcm), I've applied a few essential fixes from /n/sources/patch: armv7-atomic libsec-x509-sha256rsa maybe/usb-short-desc pread-offset proc-smp-fixes ramfs-fixes segment-overlap usbether-rpi usbserial-ftdi-writelen