How may I change the default boot image?

[oliphant]

I have installed 4.4.194-19-rockchip-g287ff75afc47.
/boot/extlinux/extlinux.conf shows the relevant entry.
How do I tell the system to boot to this image?

[oliphant]

I have solved another problem with a kludge as shown here,

Driver (88xxau/8812au) for Alfa AWUS036AC/AWUS036ACH won't compile [Required Rock64's modpost to solve]

mara, Thanks! But, I am unable to change the boot image, as I said here, [How may I change the default boot image?] - How may I change the default boot image? No one has replied to my post. If you (or anyone) would be kind enough to tell me how you managed to change your boot image, I would be very grateful. For convenience and completeness, I ask that you or any other respondant reply both here and there. Very Truly Yours, oliphant

I would like to try to solve the issue properly, but the penultimate comment suggested a more recent kernel.

With my present predicament, this solution will not work until someone helps me make my Rock Pi boot to a newer kernel.

I warmly welcome any assistance.

Sincerely,
oliphant

[mara]

take any kernel and replace it on your card.
there are also sources with patches and config .

[oliphant]

Thank you.

I will give one a try when I have more time on my hands.