should the OS be compressed for USB boot