boehm-gc: Merged CACAO-specific modifications