[coreboot-gerrit] Patch merged into coreboot/master: mainboard/msi/ms7135: remove bogus MADT IRQ override for timer

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit a660bc192167f86abb4a2b52cdd675bd5ef5fc03
Author: Jonathan A. Kollasch <jakllsch at kollasch.net>
Date:   Tue Jun 23 09:43:46 2015 -0500

    mainboard/msi/ms7135: remove bogus MADT IRQ override for timer
    
    Stops Linux from complaining:
    
    [0.097286] ..TIMER: vector=0x30 apic1=0 pin1=2 apic2=0 pin2=0
    [0.100005] ..MP-BIOS bug: 8254 timer not connected to IO-APIC
    [0.100005] ...trying to set up timer (IRQ0) through the 8259A ...
    [0.100005] ..... (found apic 0 pin 0) ...
    [0.143507] ....... works.
    
    Change-Id: Ic09a6940f80e3da2c1f3c0ef04fb50a4096b7943
    Signed-off-by: Jonathan A. Kollasch <jakllsch at kollasch.net>
    Reviewed-on: http://review.coreboot.org/10642
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


See http://review.coreboot.org/10642 for details.

-gerrit