That boot option is no longer presented -- it was removed in RC15. Clearly you could still add a mem=4095 parameter line manually, but at least according to limetech this issue was resolved long ago (RC15).
... and the issue is marked as "Solved" in the OS 5.x issue list: http://lime-technology.com/forum/index.php?topic=27788.0
You don't know what you're talking about. What you're calling solved is when Tom deleted half the posts in that thread, including Barzija's whole account, and called the issue "solved". Nice way of solving things! I have two such Supermicro boards, and I can see for myself whether the issue it's solved or not.