I can confirm, my Lenovo X301 with 2x 4GB DDR3 Samsung 2Rx8 PC3 12800 working.
But unfortunatelly, in Lenovo X301 DDR-II adjusted chipset is used to get DDR3 memory working, so all the memory is running at 400MHz (800MHz respectively), so even though you are using 1600MHz memory (PC 12800) like me, they are running only at 800MHz.
