bootrec is device specific