wrlinux/templates/common_pc_64/README states: "Wind River Linux uses a 64-bit kernel space, 32-bit user space modelfor this board"This is incorrect. The common_pc_64 BSP is using a 64-bit user space model by default. IDENTIFIER = WIND00118989