acrn-kernel/tools/gpio/Build