Para ler os nomes dos arquivos de um arquivo:
while IFS= read -r filename; do
sed 1d "$filename"
done < a.txt >> total.txt
Mais eficiente, pois você não precisa invocar o sed para cada arquivo:
xargs awk 'FNR != 1' < a.txt >> total.txt
Isso acumulará tantos argumentos de arquivo para o awk quanto o comando puder manter.