nova: fix page fault during core bootup

Fixes #781
nova: support RUN_OPT="--serial ..."
lwip: use irq session of acpi_drv on x86 if avail.