What kernel package for RPi2?

[keithspg]

I have a custom kernel on my Pi2 and want to update it to the standard kernel. The problem is when I do a Pacman -Syu, I do not get the new kernel. How can I use pacman to replace my custom kernel with the new 'default' one? Currently, I ran pacman -Syyu and I do not see any package in the list that looks like the kernel. These are the only linux prefixed packages in the list installed with my -Syyu are:

linux-api-headers-4.17.11-1 linux-firmware-20190118.a8b75ca-1

looking at the package list, it seems like I should install 'linux-armv7'. Is that correct?

[keithspg]

oops. Just found it. linux-raspberrypi. Oh well. Now that I put an incorrect kernel on my SD, linux-armv7 can I recover without starting over?