ptux: add mkos to beaglexm sdk