stage1/2 loaders: auto-generate binary files. Fixes #10723