VIA K8M800, K8M890CE & P4M890 kernel binary