DEVIL DINOSAUR was also released in a collected hardcover in 2007.

In addition to Marvel's other late-70's Kirby material already in book form:

ETERNALS hardcover (also released in 2 trades)
CAPTAIN AMERICA 193-214, ANNUAL 3 and 4, and BICENTENNIAL BATTLES treasury (reprinted in a series of 3 trades)
and
BLACK PANTHER 1-9 (in 2 trade volumes)

So the only material from Kirby's 1976-1978 return to Marvel not collected in book form are his 2001:A SPACE ODYSSEY treasury-size movie adaptation, his 2001: A SPACE ODYSSEY 10-issue series, MACHINE MAN 1-9, a few scattered covers, and a single-issue story he did in WHAT IF 11.