No network interface after upgrade - Samsung 2 Chromebook

[rodrunner]

I’ve been a happy user of alarm on my Samsung 2 Chromebook for almost a year. I’m managing the wireless network interface with netctl.

I've performed an upgrade yesterday (pacman -Syu) and I get no network after a reboot.
Network interfaces are not even created, ip link shows just the loopback. I had mlan0 before the upgrade.

I’ve noticed also that no kernel modules are loaded (lsmod returns an empty list)

I’ve seen some old forum threads similar to my problem but I could not find any solution so far. Any help about how to troubleshoot the issue would be highly appreciated

[WarheadsSE]

Verify that the running kernel and the installed kernel have matching versions.

[rodrunner]

"uname -r" returns 3.8.11-2
I'm not sure about how to check the installed kernel, but in /var/lib/pacman/local/ I have "linux-api-headers-4.1.4-1" which doesn't look right to me after reading your message. How could I proceed to get 4.1 running?

[WarheadsSE]

pacman -Qs linux-

pacman -Qi <package>

[rodrunner]

Thanks.

"pacman -Qs linux-" brings only the following linux- packages:

linux-api-headers
linux-firmware
linux-peach

Shouldn't I have a package named linux-armv7 for the kernel and its modules?
Since I have no means to install anything in my system, is there a way to boot the chromebook from a rescue image or from a fallback image?

EDIT
I installed arm archlinux in a USB pendrive and booted from there. Then I mounted the SD card and with chroot I performed an upgrade in case that was the problem.
But after the upgrade, I boot from the SD card and the kernel modules are not loaded either.