HomeFreeBSD

linuxkpi: Define `dev_is_platform()` and `to_platform_device()`