How to make kernel recognize 4GB of RAM