Re: [PATCH 6/8] x86: Fix 64-bit compile warning