user story #1447 - Booting redstone

Change-Id: Ie612f6b0ea010f1c47a9d12ca27d732778be7507