It's likely the kernel installed ok but dkms to configure the firmware may have run out of space. If the kernel had not installed you would not have been able to boot at all.

in any event the firmware was not installed.