Add timer and interrupt controller to allow for profiling.