Would it be possible to consider enabling kernel virtualization on FriendlyCore for the devices such as and R5S?