Re: [coreboot] [PATCH 4/4] DBE63: Update comments in irq_tables.h for DBE63 hardware