[arch-releng] [PATCH 1/3] Add HDT to the boot menu