RM_PLATTER_CODE_SIZE
(size_t)real_mode_start_cpu <= RM_PLATTER_CODE_SIZE);
ASSERT(len <= RM_PLATTER_CODE_SIZE);
char rm_code[RM_PLATTER_CODE_SIZE];