REGISTRATION RIGHTS AGREEMENT OF ENERGY FUTURE HOLDINGS CORP. (FORMERLY KNOWN AS TXU CORP.) DATED AS OF OCTOBER 10, 2007