x86_64: async_rpc_kernel.cmxs
