Add support for PV-GRUB kernel flags.

Pseudocode. Will finish later