How much would have to be changed to be able to run CoLinux from ntbootdd.sys?