8253/8254 driver, moving kernel to 0x20000