Ubuntu Core 20 edge pc-kernel not supporting Intel IGC device

Hi everyone,

I have a devtesting Lenovo SE10-I unit on-hand, and it appears that the Intel Ethernet ports is not supported on Core20?

I can manually modprobe the IGC driver, but the kernel does not detect the two Ethernet ports. output of lspci:

00:00.0 Host bridge: Intel Corporation Device 4516 (rev 01)
	DeviceName: Onboard - Other
	Subsystem: Lenovo Device 3334
00:02.0 VGA compatible controller: Intel Corporation Device 4555 (rev 01)
	DeviceName: Onboard - Video
	Subsystem: Lenovo Device 3334
00:13.0 Serial bus controller [0c80]: Intel Corporation Device 4b84 (rev 11)
	DeviceName: Onboard - Other
	Kernel driver in use: dw_spi_pci
	Kernel modules: spi_dw_midpci
00:14.0 USB controller: Intel Corporation Device 4b7d (rev 11)
	DeviceName: Onboard - Other
	Subsystem: Lenovo Device 3334
	Kernel driver in use: xhci_hcd
00:14.2 RAM memory: Intel Corporation Device 4b7f (rev 11)
	DeviceName: Onboard - Other
00:16.0 Communication controller: Intel Corporation Device 4b70 (rev 11)
	DeviceName: Onboard - Other
	Subsystem: Lenovo Device 3334
	Kernel driver in use: mei_me
	Kernel modules: mei_me
00:18.0 Serial bus controller [0c80]: Intel Corporation Device 4bc0 (rev 11)
	DeviceName: Onboard - Other
	Kernel driver in use: i2c-designware-pci
	Kernel modules: i2c_designware_pci
00:1a.0 SD Host controller: Intel Corporation Device 4b47 (rev 11)
	DeviceName: Onboard - Other
	Kernel driver in use: sdhci-pci
	Kernel modules: sdhci_pci
00:1a.1 SD Host controller: Intel Corporation Device 4b48 (rev 11)
	DeviceName: Onboard - Other
	Kernel driver in use: sdhci-pci
	Kernel modules: sdhci_pci
00:1c.0 PCI bridge: Intel Corporation Device 4b3a (rev 11)
	Kernel driver in use: pcieport
00:1c.3 PCI bridge: Intel Corporation Device 4b3b (rev 11)
	Kernel driver in use: pcieport
00:1d.0 System peripheral: Intel Corporation Device 4bb3 (rev 11)
	DeviceName: Onboard - Other
	Subsystem: Lenovo Device 3334
	Kernel driver in use: intel_ish_ipc
	Kernel modules: intel_ish_ipc
00:1f.0 ISA bridge: Intel Corporation Device 4b00 (rev 11)
	DeviceName: Onboard - Other
	Subsystem: Lenovo Device 3334
00:1f.3 Audio device: Intel Corporation Device 4b58 (rev 11)
	DeviceName: Onboard - Sound
	Subsystem: Lenovo Device 3334
	Kernel driver in use: snd_hda_intel
	Kernel modules: snd_hda_intel
00:1f.4 SMBus: Intel Corporation Device 4b23 (rev 11)
	DeviceName: Onboard - Other
	Kernel driver in use: i801_smbus
	Kernel modules: i2c_i801
00:1f.5 Serial bus controller [0c80]: Intel Corporation Device 4b24 (rev 11)
	DeviceName: Onboard - Other
01:00.0 Ethernet controller: Intel Corporation Device 0d9f (rev 03)
	Subsystem: Intel Corporation Device 0000
02:00.0 Ethernet controller: Intel Corporation Device 0d9f (rev 03)
	Subsystem: Intel Corporation Device 0000

The current kernel version from 20/edge (pc-kernel):

Linux ubuntu 5.4.0-167-generic #184-Ubuntu SMP Tue Oct 31 09:21:49 UTC 2023 x86_64 x86_64 x86_64 GNU/Linux

It appears that the normal “Ubuntu Focal LiveCD” uses a 5.15 kernel, which is detecting and using those Ethernet devices with the IGC intel driver.

I have a feeling that this is some sort of bug, or the pc-kernel needs a upgrade?