[SOLVED] 15.9GB usable out of 16GB - Is this normal?

Solution
Well, what was the change in BIOS? It's hard to answer a specific question about a change after a BIOS update without knowing anything about the BIOS or the hardware its on.