Symbol: bcm2835_devm_free_vchi_ctx