Nice! Have you verified that it works? I also assume that commented-out bitstream converter sections are not needed?
It works on my s905x box.
I am not sure if bitstream converter section needed. In my tests it works with and without it equaly. Need to further explore.