That was easy. All of the fbtprovider tests pass once they test using
kern_ioctl() instead of ioctl().