[ros-diffs] [hbelusca] 60758: [SOFTX86] Remove the now-unneeded headers. Bye-bye SoftX86 !