x230: increase rpi's spispeed

While I think I have initially used 128 from some libreboot docs and never
had problems with it, I don't really see anybody use less than 512 right
now.

x230/NEWS

@@ -3,6 +3,7 @@ skulls-x230 0.1.2 - unreleased
 ---------------------------------------
 This release includes the following changes:
 * update coreboot-sdk to version 1.53
+* increase RPi spi speed for flashing
 
 
 skulls-x230 0.1.1 - released 2019-01-18

x230/external_install_bottom.sh

@@ -115,7 +115,7 @@ if [ ! "$have_flasher" -gt 0 ] ; then
 fi
 
 if [ ! "${rpi_frequency}" -gt 0 ] ; then
-	rpi_frequency=128
+	rpi_frequency=512
 fi
 
 programmer=""

x230/external_install_top.sh

@@ -132,7 +132,7 @@ if [ ! "$have_flasher" -gt 0 ] ; then
 fi
 
 if [ ! "${rpi_frequency}" -gt 0 ] ; then
-	rpi_frequency=128
+	rpi_frequency=512
 fi
 
 programmer=""