As it happens, a kernel update appears to have fixed the issue, but thank you for this tip.