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