It was discovered that sgs2 kernels which are built using a host machine running ubuntu 11.10 or newer don't boot.