x86: Fix an incorrect argument of reserve_bootmem()