PCIC_ISA_DEF_SYSCLK
uint32_t bspeed = PCIC_ISA_DEF_SYSCLK;
wspeed = mhztons(PCIC_ISA_DEF_SYSCLK) * 3;
pcic->bus_speed = PCIC_ISA_DEF_SYSCLK;