Add original kernel parameters.

Change-Id: Ia51ed5eecdf9c3ea653bc57c76dea324e87c997d
Use ext4 as default.

Change-Id: I725017b89f11ced98dc67c0d7bd65ed15d2f38e6