Rex's Trixie images use [pi5] for the CM5 display overlays (clockworkpi-uconsole-cm5, vc4-kms-v3d-pi5). The nixos-uconsole module generates [cm5] which the firmware may not apply on some CM5 EEPROM configurations. Adding explicit [pi5] section ensures the display overlays are always loaded.