> kernel offers me addresses like: > 0x000000001f310000 Yeah and that's why you didn't trigger the bug in the patch. Extension is zero for both cases (low and high). -- Greetings, Michael.