Re: [coreboot] [PATCH] Replace PIRQ_TABLE with HAVE_PIRQ_TABLE