30b952654a
bytes for AMD64. Otherwise the AP will be started at 640K which won't work. Bug found on a Xeon 64bit system.