MIcronet A3xx device kernel