Add a driver for the BCM2835 Mini-UART as seen on the RPi3Reviewed by: andrewApproved by: andrewDifferential Revision: https://reviews.freebsd.org/D15684