Juan RP dbb6a76f58 kernel: make it use CONFIG_KERNEL_XZ rathern than GZIP, to save some bytes.		2011-05-27 09:13:36 +02:00
..
x86_64-dotconfig	kernel: make it use CONFIG_KERNEL_XZ rathern than GZIP, to save some bytes.	2011-05-27 09:13:36 +02:00