Hi,
Can you share with us your source of information re: BIOS F.31?
I cannot seem to find the info about 4GB support for BIOS from here:
http://h10025.www1.hp.com/ewfrf/wc/p...s=2100&lang=en
I also checked Crucial and HP specs for your model and it only supports 2GB.