[ros-diffs] [fireball] 40683: - WINLDR: Pass boot options to the kernel when booting in setup mode (it was disabled for debugging reasons).