[ros-diffs] [mbosma] 25317: Merge changes from HEAD. It compiles but does not boot yet, because of changes in PS.