This platform does not use RISC-V machine timer, however, the interrupt controller had references to its IRQ. Remove them. Signed-off-by: Gerard Marull-Paretas <gerard.marull@nordicsemi.no>