kernel: Rename the struct behind device_t to bsd_device