Thanks for the heads up.
This bios seems to work with 4gb. It dates back to october 8th. Kind of makes one wonder, doesn´t it?
The issue is fixed silently, with no recognition of the issue what so ever. I got four boards waiting for RMA, and were forced to get replacement boards in...