BAT_BL_128M
(startkernel & 0xf8000000), BAT_BL_128M, 0,
EFB_BASE, BAT_BL_128M,
CPC_PCI_IO_BASE, BAT_BL_128M, /* PCI I/O 128M area */
0xf0000000, BAT_BL_128M,