ok, thank you to everyone, but which advice should i take?

should i go with the binary vs. decimal / octal count and its under-reporting the size? or

flash the bios ? or

put in a pci controller card ?