modinfo: make it select PLATFORM_LINUX. Closes 4411

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
1 file changed