[PATCH] Define __bad_pda_field as noreturn