Request for FC3Blocker: #132947 (kernel memory leak on x86_64 in 32/64 mixed mode)