remove _IO_BASE and KSEG1ADDR from board configuration files