boot/config-3.12.13-gentoo from office,