71c71
< : X86System(p), commandLine(p->command_line)
---
> : X86System(p), commandLine(p->boot_osflags)