a9993c7
Linux v3.7-rc4 - Disable debugging options. - Fix build break without CONFIG_EFI set (reported by Peter W. Bowey)