I have now disabled the HPET timer, and the system now works normally. Every time I saw the rcu stall messages, it seemed to be timer related. On this system I have also disabled TPM, but I doubt if that's relevant.