tuxedo: kernel config and fastb