# CONFIG_MICROCHIP_PIT64B is not set