The newer hardware revisions of the Raspberry Pi 4 removed the ability
of the VIA VL805 xhci controller to load its own firmware. Instead the
firmware must be installed at the appropriate time by the VideoCore
coprocessor.
This differential builds on top of [[ https://reviews.freebsd.org/D25068 | D25068 ]].