MG_boot_dev
MONRELOC(uint8_t *, MG_boot_dev)[j];
if (MONRELOC(uint8_t *, MG_boot_dev)[j] == '\0')
MON(char *, MG_boot_dev) = p;
char *kernel_args = MON(char *, MG_boot_dev);