fix debian 64 boot