Add optiboot binary for those of us without a decent gcc version