TCMU available on Colibri VF61

Could you confirm that Colibri VF61 module has 32 kB of TCMU as described in the table on this kb?
Is this memory used by Win CE 6 on A5 core? Or is it completely available for M4?

Hi,

On WinCE system we do not use anything in memory range 0x3f800000-0x3f808000