I confirm that since snapshot 20180628 things are back to normal, I've switched the keyboard/mouse back from USB to PS/2 and it's working OK.