Hi, does Linux kernel 4.4 and 3.13 for Ubuntu 14.04 LTS 32-bit also got spectre&meltdown patches? I got two computers running 32-bit 14.04 with these kernels.