config PADS_PACKAGE_UBOOT
	bool "U-Boot for the Warp Appliance"
	default y
	help
		PIKA-specific bootloader for the Warp Appliance