--- arch/parisc/kernel/firmware.c

+++ arch/parisc/kernel/firmware.c

@@ -1123,7 +1123,6 @@ static char __attribute__((aligned(64)))

*/

int pdc_iodc_print(const unsigned char *str, unsigned count)

{

- static int posx; /* for simple TAB-Simulation... */

unsigned int i;

unsigned long flags;

@@ -1133,19 +1132,12 @@ int pdc_iodc_print(const unsigned char *

iodc_dbuf[i+0] = '\r';

iodc_dbuf[i+1] = '\n';

i += 2;

- posx = 0;

goto print;

- case '\t':

- while (posx & 7) {

- iodc_dbuf[i] = ' ';

- i++, posx++;

- }

- break;

case '\b': /* BS */

- posx -= 2;

+ i--; /* overwrite last */

default:

iodc_dbuf[i] = str[i];

- i++, posx++;

+ i++;

break;

}

}