Whats the max memory thats easy accesable on 32bit Whitebox/rhel linux, is it 3GB for user processes and 1GB for system?