presumably useful for older BIOSs that can't boot from USB?

but other than that, yeah... kinda redundant.