55,56c55,56
< : Uart(p), control(0x300), fbrd(0), ibrd(0), lcrh(0), ifls(0x12), imsc(0),
< rawInt(0), maskInt(0), intNum(p->int_num), gic(p->gic),
---
> : Uart(p, 0xfff), control(0x300), fbrd(0), ibrd(0), lcrh(0), ifls(0x12),
> imsc(0), rawInt(0), maskInt(0), intNum(p->int_num), gic(p->gic),
59d58
< pioSize = 0xfff;