[L] Change in coreboot[main]: mb/asrock: Add Fatal1ty Z87 Professional (Haswell)

[Nicholas Chin (Code Review)]

Attention is currently required from: Angel Pons, Felix Singer, Jan Philipp Groß, Máté Kukri, Paul Menzel.

Nicholas Chin has posted comments on this change by Jan Philipp Groß. ( https://review.coreboot.org/c/coreboot/+/82913?usp=email )

Change subject: mb/asrock: Add Fatal1ty Z87 Professional (Haswell)
......................................................................

Patch Set 7:

(1 comment)

File src/mainboard/asrock/fatal1ty_z87_professional/Kconfig:

https://review.coreboot.org/c/coreboot/+/82913/comment/7ed314f8_c564c03c?usp... :
PS7, Line 24: int
> Aside, should we remove it from existing boards?

Sure. It has been done before for the other configs and I think the USBDEBUG_HCD_INDEX is often the only config left with a type for a lot of board Kconfigs