Dear all,
I have installed Mavericks on my laptop (Lenovo t431s) that uses an Intel i5-3437u (ivy bridge).
After a lot of adjustments I got basically everything to work: hd4000, ps2 trackpad and keyboard, screen brightness control, audio, Bluetooth, battery monitor and finally power management...