Does the Raspberry PI version use a same kernel version as x86 devices, or does it use an older kernel?