Windows 8 EFI unbootable after F19-TC1 installation.

[John Reiser]

> The output of efibootmgr --verbose is:
> 
> BootCurrent: 0007
> Timeout: 1 seconds
> BootOrder: 0000,0007,0008,0005,0003,0006,0004

So this time you booted from 0007 (DVD), and next time you will boot from
0000 (Windows) unless you change it.

> Boot0000* Windows Boot Manager    HD(2,96800,31800,06701451-3ec2-4b01-8dac-17f25a3c6bd4)File(\EFI\Microsoft\Boot\bootmgfw.efi)WINDOWS.........x...B.C.D.O.B.J.E.C.T.=.{.9.d.e.a.8.6.2.c.-.5.c.d.d.-.4.e.7.0.-.a.c.c.1.-.f.3.2.b.3.4.4.d.4.7.9.5.}....................

This means partition 2; which should be the same as: skip 0x96800 sectors from the beginning, then
take 0x31800 sectors; which should be the same as /dev/disk/by-partuuid/06701451-3ec2-4b01-8dac-17f25a3c6bd4;
and the File indicated.  (So there are 3 redundant descriptions of the partition:
the partition number, the sector counts, and the partuuid.)
You can check by using 'parted' then "unit s" then "print" (and "quit".)
Also "ls -l /dev/disk/by-partuuid".

Also "mount -o ro /dev/sda2 /mnt" then look for that File under /mnt.

> Boot0003* SanDisk SDSSDH2256G    BIOS(2,0,00)AMBO
This is your SSD in BIOS MBR mode.

> Boot0004* IBA GE Slot 00C8 v1381    BIOS(6,0,00)AMBO
This is some add-in card in BIOS MBR mode. (PXE network card?)

> Boot0005* TSSTcorp CDDVDW SH-S223C    BIOS(3,0,00)AMBO
This is your Toshiba-Sony Storage Technology DVD in BIOS MBR mode.

> Boot0006* hp v135w 0.00    BIOS(2,0,00)AMBO
This is your "HP" USB flash memory drive in BIOS MBR mode.

> Boot0007* UEFI: TSSTcorp CDDVDW SH-S223C    ACPI(a0341d0,0)PCI(1f,2)03120a000200ffff0000CD-ROM(1,8309,2fac)AMBO
This is your DVD in UEFI mode.

> Boot0008* UEFI: TSSTcorp CDDVDW SH-S223C    ACPI(a0341d0,0)PCI(1f,2)03120a000200ffff0000Vendor(ba7c46d1-9c5e-4fc8-943d-1a491f23fe01,c2770200000277c222001d0000000000001d0008000000000800450c1f130000ec0200000100000101004665646f72612031392d544331207838365f3634202020202020202020202020)AMBO
This is your DVD in  Vendor UEFI mode (probably Fedora?)
The UEFI and/or efibootmgr probably lost its mind about storage allocation
for this entry.

> Boot000A* SanDisk SDSSDH2256G    BIOS(2,0,00)AMBO
This is your SSD in BIOS MBR mode (a duplicate of entry 0003.)

--