RM_PLATTER_CPU_HALT_CODE_SIZE
ASSERT(len <= RM_PLATTER_CPU_HALT_CODE_SIZE);
char rm_cpu_halt_code[RM_PLATTER_CPU_HALT_CODE_SIZE];