/* * module_prime: * * Push a module loaded by the bootloader onto our internal * list. */