[misc] Remove long-obsolete header files dating from Etherboot 5.4