ci: lava improvements

Here are a few bits of the db410c/db820c lava series that I think are ready to be pulled out and merged while I stabilize and polish the rest. The prompt thing in particular should help avoid a major trap for anyone else bringing up a lava lab.