Do you have a reason to not use Kyber? The way it is combined should be sound.