clocksource: Override clocksource tsc is not HRT compatible - cannot switch while in HRT/NOHZ mode
Snakeoil is using what is called a 'TICKLESS' kernel. Probably this is the cause.. Give me a few days to experiment and work out a solution. This will likely use another kernel..