The kernel for Friendlyarm tiny4412