Add debian/stamps dir needed in 'rtai-source' package tarball