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