There were some hardcoded values left in there, and the remote caching wasn't working right. The ubuntu-board-gen tool now produces the right output file name.