h264dec: K&R formatting cosmetics

Signed-off-by: Diego Biurrun <diego@biurrun.de>
h264dec: Add .avc file name extension

Signed-off-by: Diego Biurrun <diego@biurrun.de>