The easy way to fix this issue is from krisse. Simply use the File manager application to format the internal memory card (in the File Manager, select the internal memory card, then open the menu and select "Tools -> Format memory card..."). Once the formatting is complete, run the test commands above to verify the memory allocation is fixed. That's it, you're done. (thank you to the folks who verified this method as successful)