[Bug 1067593] Mixed up kernel address (CONFIG_PHYSICAL_START) and alignment (CONFIG_PHYSICAL_ALIGN) values