Changes for new NOOBS multi partition booting from gsh

See: https://github.com/raspberrypi/linux/commit/63b69a8806ce1890711ff55280c90673ea415933