Install missing hvm public headers

Signed-off-by: Ben Guthro <bguthro@virtualiron.com>