As I mentioned here this kernel may be ignored during updates. Check Pamac settings or /etc/pacman.conf file.
/etc/pacman.conf