Agreed! This is about the last combo I expected to run into here. So to chime in, Gentoo on my regular box and Debian on my chromebook playtoy.