[PATCH 5/7] tools/nolibc: reformat list of headers to be installed