linuxManualConfig: set badPlatforms
Older kernels shouldn't be marked as supporting architectures thatwere only added to the kernel later.
Alyssa Ross 2 years ago 5c5e5e2f 68225653