kernel: Replace the remaining __amd64__ with __x86_64__ for consistency.