CONFIG_ETRAX_SYNCHRONOUS_SERIAL_PORT1 is not available for thedefaultarchitecture x86.
Result is shown for architecture cris

Synchronous serial port 1 enabled

configname: CONFIG_ETRAX_SYNCHRONOUS_SERIAL_PORT1

Linux Kernel Configuration
└─>Drivers for built-in interfaces
└─>Synchronous serial port 1 enabled
In linux kernel since version 2.6.13 (release Date: 2005-08-28)  
Enabled synchronous serial port 1.