tree 5ddefba98e65d46af469cac3fe89787861e5980b
parent 72af5d79f9f66e59533f00b58b4cc528658c904b
author Jonathan A. Kollasch <jakllsch@kollasch.net> 1435070626 -0500
committer Jonathan A. Kollasch <jakllsch@kollasch.net> 1436277737 +0200

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@kollasch.net>
Reviewed-on: http://review.coreboot.org/10642
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>