Added omap44xx_mmu again to fix dependency error when building arm_gem5_image. Improved code formatting.
Added omap44xx_mmu again to fix dependency error when building arm_gem5_image.
Improved code formatting.

BarrelfishOS/barrelfish,kishoredbn/barrelfish,linusyang/barrelfish,BarrelfishOS/barrelfish,mslovy/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,utsav2601/cmpe295A,kishoredbn/barrelfish,8l/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,mslovy/barrelfish,utsav2601/cmpe295A,8l/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,utsav2601/cmpe295A,mslovy/barrelfish,linusyang/barrelfish,8l/barrelfish,mslovy/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,linusyang/barrelfish,8l/barrelfish,utsav2601/cmpe295A,BarrelfishOS/barrelfish,linusyang/barrelfish,kishoredbn/barrelfish,mslovy/barrelfish,mslovy/barrelfish,utsav2601/cmpe295A,linusyang/barrelfish,utsav2601/cmpe295A,BarrelfishOS/barrelfish