Symbol: CVMX_BOOTMEM_ALIGNMENT_SIZE