Hello
Why can't you upgrade the kernel ?
Maybe it can work... or may be you will get into dirty problems later.
I've seen production systems running with unsupported kernel, but at least they had no choice (old system on a 'not that old' DB).
As your IDES is running on I3 CPU it may be a little sandbox for your own usage... so you can go with it it should be able to survive ;-)
Regards