diff --git a/src/drivers/uart/uart8250io.c b/src/drivers/uart/uart8250io.c
index a7fc3466f3..89ec229dfc 100644
--- a/src/drivers/uart/uart8250io.c
+++ b/src/drivers/uart/uart8250io.c
@@ -26,14 +26,14 @@ static int uart8250_can_tx_byte(unsigned int base_port)
 
 static void uart8250_tx_byte(unsigned int base_port, unsigned char data)
 {
-	unsigned long int i = SINGLE_CHAR_TIMEOUT;
+	unsigned long i = SINGLE_CHAR_TIMEOUT;
 	while (i-- && !uart8250_can_tx_byte(base_port));
 	outb(data, base_port + UART8250_TBR);
 }
 
 static void uart8250_tx_flush(unsigned int base_port)
 {
-	unsigned long int i = FIFO_TIMEOUT;
+	unsigned long i = FIFO_TIMEOUT;
 	while (i-- && !(inb(base_port + UART8250_LSR) & UART8250_LSR_TEMT));
 }
 
@@ -44,7 +44,7 @@ static int uart8250_can_rx_byte(unsigned int base_port)
 
 static unsigned char uart8250_rx_byte(unsigned int base_port)
 {
-	unsigned long int i = SINGLE_CHAR_TIMEOUT;
+	unsigned long i = SINGLE_CHAR_TIMEOUT;
 	while (i && !uart8250_can_rx_byte(base_port))
 		i--;
 
diff --git a/src/drivers/uart/uart8250mem.c b/src/drivers/uart/uart8250mem.c
index 19677a8a6a..fcf031e378 100644
--- a/src/drivers/uart/uart8250mem.c
+++ b/src/drivers/uart/uart8250mem.c
@@ -46,7 +46,7 @@ static int uart8250_mem_can_tx_byte(void *base)
 
 static void uart8250_mem_tx_byte(void *base, unsigned char data)
 {
-	unsigned long int i = SINGLE_CHAR_TIMEOUT;
+	unsigned long i = SINGLE_CHAR_TIMEOUT;
 	while (i-- && !uart8250_mem_can_tx_byte(base))
 		udelay(1);
 	uart8250_write(base, UART8250_TBR, data);
@@ -54,7 +54,7 @@ static void uart8250_mem_tx_byte(void *base, unsigned char data)
 
 static void uart8250_mem_tx_flush(void *base)
 {
-	unsigned long int i = FIFO_TIMEOUT;
+	unsigned long i = FIFO_TIMEOUT;
 	while (i-- && !(uart8250_read(base, UART8250_LSR) & UART8250_LSR_TEMT))
 		udelay(1);
 }
@@ -66,7 +66,7 @@ static int uart8250_mem_can_rx_byte(void *base)
 
 static unsigned char uart8250_mem_rx_byte(void *base)
 {
-	unsigned long int i = SINGLE_CHAR_TIMEOUT;
+	unsigned long i = SINGLE_CHAR_TIMEOUT;
 	while (i && !uart8250_mem_can_rx_byte(base)) {
 		udelay(1);
 		i--;