SYS_DVBS2 is used for both DVB-S2 and DVB-S2X as S2X is just an extension of S2 according to the API docs. All the additional S2X FECs and Modulations appear to be added into frontend.h so if you have recompiled TVHeadend recently with a kernel that has drivers for your DVB-S2X capable device that should all be in there. The only issue I can foresee might be if your device driver requires FEC to be manually specified before a lock can be obtained and TVHeadend can't send the required FEC. Seems an unlikely scenario as drivers generally find FEC automatically on their own.
Any way, as I read the TVHeadend source code linuxdvb_frontend.c The S2X FECs and Modulations are listed there now so someone has brought it up to date already.
I don't own an S2X card as yet and am debating whether it's worth the purchase or not. Other than TBS I'm not sure who makes them. I have one TBS DVB-S2 USB device at present and so far it's been excellent other than the kernel maintainers not including the drivers in mainline.