x86, 32-bit: add some compile time checks to mem_init()