I've got no time to search the web, so I don't know the defaults for *buntu 32-bit kernels. If you want access > 3.8 GiB of main memory, you need to install a PAE kernel, PAE might be enabled by default for *buntu kernels.