diff --git a/debian/changelog b/debian/changelog
index 744a54e97..5acce77c4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -34,7 +34,7 @@ linux (3.11~rc7-1~exp1) UNRELEASED; urgency=low
   * video: Enable FB_SMSCUFX as module
   * usb/serial: Enable USB_SERIAL_WISHBONE, USB_SERIAL_FLASHLOADER,
     USB_SERIAL_SUUNTO as modules
-  * infiniband: Enable MLX5_INFINIBAND, INFINIBAND_ISERT as modules
+  * infiniband: Enable INFINIBAND_ISERT as module
   * xen: Enable XEN_BALLOON_MEMORY_HOTPLUG
   * fs: Enable QNX6FS_FS as module
   * f2fs: Enable F2FS_FS_SECURITY
@@ -46,6 +46,7 @@ linux (3.11~rc7-1~exp1) UNRELEASED; urgency=low
   * [x86] mmc: Enable MMC_SDHCI_ACPI as module
   * [x86] comedi: Enable COMEDI_ADV_PCI1724, COMEDI_NI_LABPC_PCI (formerly
     COMEDI_NI_LABPC) as modules
+  * [x86] Enable MLX5_INFINIBAND as module
   * [amd64] iommu: Enable AMD_IOMMU_V2
   * [x86,ia64] fs: Enable EFIVAR_FS as module
   * wireless/ti: Disable WL_TI on all configurations except armhf/armmp