Fix build on updated Pi-firmware.