linuxkpi: Define dev_is_platform() and to_platform_device()

The former returns false and the latter returns NULL.

Reviewed by: manu
Approved by: manu
Differential Revision: https://reviews.freebsd.org/D38163

(cherry picked from commit b9ef0689433d7d08c96695e571c4c262a3ac9007)