x86/boot: Fix "run_size" calculation