Colibri VFxx kernel