016ba82470
This is needed with new u-boot that uses the rpi-firmware dtbs. Reviewed by: gjb MFC after: 3 days Differential Revision: https://reviews.freebsd.org/D16240