my asus k40in with T4200 dual core boot 64 mode with EFI 64 too. i want to boot to 32 bit mode. i tried kernel selector apps, but still load 64 bit mode. is there any solution?
thanks.