modinfo: make it select PLATFORM_LINUX. Closes 4411