Capture kernel fastboot options

Signed-off-by: Sean Hudson <sean_hudson@mentor.com>