[ros-diffs] [reactos] 01/01: [BOOT:RTL] Fix AMD64 build. Addendum to 24cb57fde.