Merge pull request #1238 from op-jenkins/op-build-update_025_7-12-2017

op-build update 7-12-2017
diff --git a/openpower/configs/redbud_defconfig b/openpower/configs/redbud_defconfig
index f9e6b7a..d8493e1 100644
--- a/openpower/configs/redbud_defconfig
+++ b/openpower/configs/redbud_defconfig
@@ -42,7 +42,7 @@
 BR2_OPENPOWER_POWER9=y
 BR2_HOSTBOOT_CONFIG_FILE="witherspoon.config"
 BR2_OPENPOWER_MACHINE_XML_GITHUB_PROJECT_VALUE="witherspoon-xml"
-BR2_OPENPOWER_MACHINE_XML_VERSION="5b59a1dc4cf70c395ac984a800aef9822d8881ea"
+BR2_OPENPOWER_MACHINE_XML_VERSION="896d1e14fce4a5b54b0052236c8220a64115cfc7"
 BR2_OPENPOWER_MACHINE_XML_FILENAME="witherspoon.xml"
 BR2_OPENPOWER_SYSTEM_XML_FILENAME="WITHERSPOON_hb.system.xml"
 BR2_OPENPOWER_MRW_XML_FILENAME="WITHERSPOON_hb.mrw.xml"
diff --git a/openpower/package/hostboot/hostboot.mk b/openpower/package/hostboot/hostboot.mk
index 2bbf2ed..0a83848 100644
--- a/openpower/package/hostboot/hostboot.mk
+++ b/openpower/package/hostboot/hostboot.mk
@@ -4,7 +4,7 @@
 #
 ################################################################################
 HOSTBOOT_VERSION_BRANCH_MASTER_P8 ?= 695bd891343faf1f0ef85fe53148590e58239efd
-HOSTBOOT_VERSION_BRANCH_MASTER ?= b323a918ff0bfea7f98102b3aff2dda9a5467d34
+HOSTBOOT_VERSION_BRANCH_MASTER ?= 3fa8be9691257382bddaab035609cbe95afdb05c
 
 HOSTBOOT_VERSION ?= $(if $(BR2_OPENPOWER_POWER9),$(HOSTBOOT_VERSION_BRANCH_MASTER),$(HOSTBOOT_VERSION_BRANCH_MASTER_P8))
 HOSTBOOT_SITE ?= $(call github,open-power,hostboot,$(HOSTBOOT_VERSION))