x86, 32-bit: Fix double accounting in reserve_top_address()