[x86][configs] Disable PTP clock

This lets us update to 4.18. No arm64 changes were necessary.

Change-Id: Ifd9c2c831a1f657fd188cb08987cfe50021aedbd
diff --git a/arch/x86/configs/machina_defconfig b/arch/x86/configs/machina_defconfig
index 7d76ff9..a486687 100644
--- a/arch/x86/configs/machina_defconfig
+++ b/arch/x86/configs/machina_defconfig
@@ -20,6 +20,7 @@
 CONFIG_SERIAL_8250_NR_UARTS=1
 CONFIG_SERIAL_8250_RUNTIME_UARTS=1
 CONFIG_VIRTIO_CONSOLE=y
+# CONFIG_PTP_1588_CLOCK is not set
 CONFIG_DRM=y
 CONFIG_DRM_VIRTIO_GPU=y
 CONFIG_VIRTIO_PCI=y