Use a defs_platform.h file for xicu and tty base address, compatible with the tsar boot loader one. Use xicu definitions from machine/xicureg.h