workaround for boot device