[ros-diffs] [arty] 28311: Make boot options for the bootcd dependent on DBG. Suggested by Caemyr.