x86, boot: correct the calculation of ZO_INIT_SIZE