On Mon, 2016-05-30 at 18:47 +0200, Pierre Sauter wrote:
> On unplugging this USB Touchscreen, everytime I get either:
> 
> [  161.596055] BUG: unable to handle kernel NULL pointer dereference at 00000015
> [  161.596093] IP: [<c10c92b0>] get_next_timer_interrupt+0x80/0x270
> or
> [  155.892061] BUG: unable to handle kernel paging request at 30303046
> [  155.892101] IP: [<c10d13da>] get_next_timer_interrupt+0x8a/0x290
> 
> and then panic and the system is unresponsive.

Please try the attached patch.

	Regards
		Oliver