Update debian_boot_hack.txt