added system timer driver, and added support in board_config.c's