Split out the generic parts of x86-platform.rkt into platform.rkt.