[platform][alterasoc] fix timer driver to actually used passed in value