earlyprintk=vmcall,keep
 console=hvc0
 nosmp
 maxcpus=1
 acpi.debug_layer=0x2
 acpi.debug_level=0xffffffff
 apic=debug
 noexec=off
 nohlt
 init=/bin/launcher
 lapic=notscdeadline
 lapictimerfreq=1000000
 clocksource=tsc
 pit=none
 noinvpcid