Giovanni, note that comment 1 and 10 are from different machines (marvin7 vs marvin4), also comment 1 is with security mitigations disabled while I was running my tests on marvin4 with mitigations enabled. Finally yes, userspace has always been Leap15 in my tests.