x86_64: Remove serialize_cpu() inline