Coping with interrupt execution time in RT kernels: A non-intrusive approach