Comment 40 for bug 277903

Replacing the original isohdpfx.bin in sector 0 of the USB mass storage device containing the Desktop ISO image of 14.04 and 15.10 with the alternative isohdpfx_c.bin provides the desired workaround: Holding down Ctrl as the bootstrap code is loaded by the BIOS forces use of drive 0x80 and the ISO image starts correctly.

If we can get this used in the standard CD images it gives the user a valuable workaround for this buggy BIOS behaviour.

We also need to document it - need to identify which Wiki pages require editing, and now to add instructions to the Release Notes.