hdl-dev-repos: specify syscalls generation mode