Symbol: MIP4_R1_BOOT_SIZE