Hi Andreas, Sorry for a delay.
This bug is likely the same as reported in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=818697 Could you confirm that you're using the hardware with transactional synchronisation extensions enabled? Cheers! -- Sergei Golovan
