Been researching on this issue for quite a while already and can't find any solution. HP nx6325 has 2 big issues: whitelist and the 4GB of RAM problem. The whitelist problem was solved thanx to TTAV134 but the other is not. While the BIOS sees 4GB of RAM installed but no operating system can make use of the whole 4GB, just only 3GB. All search results point to the IOMMU remapping in the BIOS. I've tried the 2 memory sticks in a Dell Latitude D630 whose BIOS and operating system see all 4GB with no problem. Is it a common issue on laptops like the whitelist, or is it just an issue with nx6325 ? Is it possible to resolve it by modding the BIOS or is it something beyond modding ?