check_name(opt, "Memory test (memtest86+, serial console 115200)");
check_args(opt, "console=ttyS0,115200n8");
/* hotplug a device with a maching UUID, and check that our
* resources become resolved */
check_name(opt, "Memory test (memtest86+, serial console 115200)");
check_args(opt, "console=ttyS0,115200n8");
/* hotplug a device with a maching UUID, and check that our
* resources become resolved */