fix(bare-metal): rename RV1 page and document kernel update options

[gilbsgilbs]

Your checklist for this pull request

• Name your pull request according to the contribution guidelines.

Description

• rename RV1 page
• document kernel update options

[nerda-codes]

Have you checked that this link isn't used anywhere else in the documentation? If we change the name of the file without updating potential docs where we refer to this page, we may have broken links.

[gilbsgilbs]

Have you checked that this link isn't used anywhere else in the documentation? If we change the name of the file without updating potential docs where we refer to this page, we may have broken links.

I've already opened an MR on the website to add a redirection from the old page to the new (!2339). We can deploy it sometimes after the next content update. I haven't found any outdated link in the docs content.

[gilbsgilbs]

Drafting this PR as I had a few remarks from my team. done