Fix typo

Small error in naming for the kernel binary format option