4ef6fc056a
is sufficient, anyway. Do not needlessly #include <sys/device.h>. Note well: device_t is not part of the kernel ABI.