Are you sure you didn't double boot it for some reason this morning? It only has to shut down for a second and it will reboot with the full quota?
By the way I wasn't sent those new BIOS drivers. No idea why I am always missed off the distribution for these things given that I was the thread starter of all people
Anyway PM sent...