KEY_XXX constants are now defined in gpxe/keys.h. Kept separate from