It depends. Usually it will work if you manually set the speed and timings. Also depends on the ram and memory controller.
edit:
And yes the 32 bit OS won't read more than 4 gigs, so mixing them is a moot point anyways.
edit:
And yes the 32 bit OS won't read more than 4 gigs, so mixing them is a moot point anyways.