Normal, go 64 bit if you want to see 4GB RAM in both BIOS and OS.