32bit 3.17 kernel