I added the ps7 files for these boards a while ago, but it looks like they didn't survive the transition to platform-init. Any reason these were dropped? Will you take a patch to add them back? I would make my life easier if the default builds for these boards would boot. Philip