u8800: Add header files back again