Hi Adam,
                I execute all the steps, configuring and building foc an l4 individually for realview-pbx-a9.
// create foc builddir, configure and build
cd ~/l4re-snapshot-2014022815/src/kernel/fiasco/
make BUILDDIR=~/build/foc.realview
cd ~/build/foc.realview
make config
* Target configuration
  │ │        Architecture (ARM processor family)  --->           
  │ │        Platform (ARM RealView Platform)  --->                  
  │ │        Realview Platform (PBX)  --->                             
  │ │        Start of RAM (physical address) (0x00000000)  --->        
  │ │        CPU (ARM Cortex-A9 CPU)  --->                              
  │ │    [ ] Enable alignment check                                     
  │ │        Execution Model (Standard mode)  --->
* The other options by default.
make -j2 all SYSTEM_TARGET=/usr/local/arm-2012.03/bin/arm-none-linux-gnueabi-
* Build successfull
// create l4 builddir, configure and build
cd ~/l4re-snapshot-2014022815/src/l4
make B=~/build/l4.realview
cd ~/build/l4.realview
make config SYSTEM_TARGET=/usr/local/arm-2012.03/bin/arm-none-linux-gnueabi-
  │ │        Target Architecture (ARM architecture)  --->                         
  │ │        CPU variant (ARMv7A type CPU)  --->                                   
  │ │        Platform Selection (ARM Realview PBX)  --->                    
  │ │        Building  ---> 
make -j2 all SYSTEM_TARGET=/usr/local/arm-2012.03/bin/arm-none-linux-gnueabi-
* Build successfull
// build and execute hello program in qemu for the realview-pbx-a9 platform 
make qemu E=hello QEMU_OPTIONS="-M realview-pbx-a9 -m 256 -serial stdio -nographic" MODULE_SEARCH_PATH=~/build/foc.realview SYSTEM_TARGET=/usr/local/arm-2012.03/bin/arm-none-linux-gnueabi-
make[1]: se ingresa al directorio «/home/afmoya/l4re-snapshot-2014022815/src/l4»
  Image size(s) in bytes:
            bootstrap_hello.elf:  975516
  Start address: 0x71000000
  --> Build-Nr: 2
QEmu-cmd: qemu-system-arm -kernel /home/afmoya/build/l4.realview/images/bootstrap.elf -M realview-pbx-a9 -m 256 -serial stdio -nographic
QEMU 1.6.1 monitor - type 'help' for more information
(qemu) oss: Could not initialize DAC
oss: Failed to open `/dev/dsp'
oss: Reason: No such file or directory
oss: Could not initialize DAC
oss: Failed to open `/dev/dsp'
oss: Reason: No such file or directory
audio: Failed to create voice `lm4549.out'
L4 Bootstrapper
  Build: #2 mar abr  1 10:07:26 CDT 2014, 4.6.3
  Scanning up to 256 MB RAM
  Memory size is 256MB (70000000 - 7fffffff)
  RAM: 0000000070000000 - 000000007fffffff: 262144kB
  Total RAM: 256MB
  mod04: 710cc000-710e5580: hello
  mod03: 710b2000-710cb460: l4re
  mod02: 71078000-710b162c: moe
  mod01: 7106e000-71077378: sigma0
  mod00: 71017000-7106d6dc: fiasco
  Moving up to 5 modules behind 71100000
  moving module 00 { 71017000, 7106d6db } (ELF) -> { 711cf000 - 712256db } [354012]
464c457f 00010101 00000000 00000000 00280002 00000001 00001244 00000034
000564d4 05000002 00200034 00280006 000c000d 70000001 00052ef0 f0052ef0
00052ef0 00000028 00000028 00000004 00000004 00000001 000000f4 00001000
00001000 000003c0 00000bc0 00000007 00000004 00000001 00002000 f0002000
00002000 00050f18 0005e000 00000007 00004000 00000001 00052f20 ffff0000
00060000 00000500 00000500 00000005 00000010 00000001 00053420 f0061000
00061000 00003000 00003000 00000007 00000004 6474e551 00000000 00000000
00000000 00000000 00000000 00000007 00000004 e3030c09 e92d4ff0 e3410000
  moving module 03 { 710b2000, 710cb45f } (ELF) -> { 71100000 - 7111945f } [103520]
464c457f 00010101 00000000 00000000 00280002 00000001 b00001a4 00000034
000191e0 05000002 00200034 00280006 000f0010 70000001 00014874 b0014874
b0014874 00000808 00000808 00000004 00000004 00000006 00000034 b0000034
b0000034 000000c0 000000c0 00000004 00000004 00000001 00000000 b0000000
b0000000 00015080 00015080 00000005 00008000 00000001 00018000 b0018000
b0018000 000010c4 0000236c 00000006 00008000 00000007 00000000 00000000
00000000 00000000 00000000 00000000 00000004 60000014 00012a40 b0012a40
b0012a40 00000018 00000018 00000004 00000004 00000000 00000000 00000000
  moving module 04 { 710cc000, 710e557f } (ELF) -> { 71100000 - 7111957f } [103808]
464c457f 00010101 00000000 00000000 00280002 00000001 010001a4 00000034
000192d8 05000002 00200034 00280006 00100011 70000001 00015504 01015504
01015504 00000ae0 00000ae0 00000004 00000004 00000006 00000034 01000034
01000034 000000c0 000000c0 00000004 00000004 00000001 00000000 01000000
01000000 00015fe8 00015fe8 00000005 00008000 00000001 00018000 01018000
01018000 000011b4 0000734c 00000006 00008000 00000007 00018000 01018000
01018000 00000000 00000014 00000006 00000004 60000014 00013640 01013640
01013640 0000000c 0000000c 00000004 00000004 00000000 00000000 00000000
  Compactifying

How you can see, the result is equal to the other mail I send.

Best regards,
                        Alexis.