[coreboot] Patches for Nokia IP530