Re: [PATCH] disk: Use BOOT_DEFAULTS instead of DISTRO_DEFAULTS