VGA switcheroo doesn't show up for me. I've been using kernels from Ubuntu's kernel ppa (daily and -rc builds) but I'll try building my own from your tree and see if that fixes it.