Just for future reference:
The problem was a missing firmware driver for the PCI bus. In order to resolve the problem I had to install the following firmware drivers:
- kernel-firmware-intel
- kernel-firmware-network
- kernel-firmware-platform
It was the last one I was missing.