Old patches are upstreamed, but upstream was broken while converting PREBOOT stuff to Kconfig. Signed-off-by: David Abdurachmanov <david.abdurachmanov@sifive.com>