Supermicro took my report seriously and filed a case on the problem.
A few days ago, a new BIOS version (v1.2a) appeared on Supermicro’s site:
I upgraded my X7SBA’s system BIOS to 1.2a, and the memory size reported during POST is now correct (4096MB). Hooray! Another case closed. :-)