Kernel for the VIA VAB-820/AMOS-820 devices from the BSP