As per [*How do I configure memory use*](https://projectacrn.github.io/latest/faq.html#how-do-i-configure-acrn-s-memory-use) the config should reflect the amount of RAM in the system. We need a nice way to set those Kconfig variables.