Use standard C fixed width integer types

And get rid of xil_types.h