die boot.ini paramter kannst du ohne probleme einfach mal durchtesten, indem du weitere boot.ini zeilen anfügst mit den verschiedenen parametern. sollte dann ein bluescreen kommen, bootest du eben mit der alten einstellung .
ob überhaupt 4GB ordentlich unterstützt werden, hängt auch vom chipsatz am motherboard ab.
alternativ kannst du mal eine 64bit linux live cd starten ( zb Gentoo ) und sehen ob hier deine 4gb funktionieren
LG