GPIO Ownership

The file guest_gpio_ownership.h shows the GPIO ownership to a guest OS.