TODO===== 1. Add tests for memblock_alloc_low() once the simulator can model   ARCH_LOW_ADDRESS_LIMIT against the low memory in memory_block