The BSP kernel of the VIA VAB-600 Springboard