add debarchitecture fact, since otherwise i386 on x86_64 kernel shows up wrong