Symbol: bcm2835_free_vchi_ctx