xens_config: make SGS3 5 variant kernels in 1 source