OpenSEMC: switch to cfx kernel