chain.c32: support loading DOS kernels