Update x86_64 and ia64 config files: Disable SC1200 drivers
    
    The SC1200 is a SoC based on the Geode GX1 32-bit x86 processor, so
    its drivers are useless on other architectures.