Point to proper kernel configuration on x64.