[linux-yocto] upgrade kernel version

[Ran Shalit]

Hello,

I am new with yocto.
I have made a reading, yet not sure about the following:
I am using congatec ATOM (intel) board.
On installing in it ubuntu , it worked OK with all HW interfaces.
Now, I try to install yocto.
I have found the following link:
https://git.congatec.com/x86/meta-congatec-x86/blob/dizzy/README

So, I guess that this is the best starting point, Right ?
Yet, at the end I need to put a more upgraded kernel version with RT patch.

So, I would please like to ask:
In order to upgrade to RT 4.1.15
(https://www.kernel.org/pub/linux/kernel/projects/rt/4.1/older/)
Is it just a matter of adding:

PREFERRED_PROVIDER_virtual/kernel = "linux-yocto-rt"
PREFERRED_VERSION_linux-yocto ?= "4.1%"

And calling command "bitbake ..." again ?

Thank you,
Ran